> https://github.com/cplusplus/draft/issues

please, Brian,

check whether this one:
https://github.com/cplusplus/draft/pull/7444
is something fair.

Should I still generate an "issue" and then attach that PR ?

Should I have avoided to fully describe in the PR comment
and only describe in a Issue that attaches the PR ?

Sorry, this is my first time there.

Thanks.

>