Hi Daniel,

On Sat, Sep 14, 2019 at 03:08:53PM +0200, Daniel Krügler wrote:
> Am Do., 5. Sept. 2019 um 21:49 Uhr schrieb Mark de Wever via
> Std-Discussion <std-discussion_at_[hidden]>:
> > Is this a real defect? Should it be a DR or an editorial issue?
>
> This is clearly a non-editorial change and I suggest to submit an LWG
> issue for it.
>
> > PS: I consider the difference between p and ptr and an editorial issue
> > and will create a pull request at GitHub.
>
> Yes, this is definitively an editorial change.

Thanks for your confirmation. I just created a GitHub pull request and
submitted an LWG issue.

Kind regards,
Mark de Wever