On Tue, Oct 17, 2023 at 9:51 PM Jason Merrill wrote:
>
> Ping?
OK.
Thanks,
Richard.
> On 10/3/23 17:09, Jason Merrill wrote:
> > This revision changes from using DK_PEDWARN for permerror-with-option to
> > using
> > DK_PERMERROR.
> >
> > Tested x86_64-pc-linux-gnu. OK for trunk?
> >
> > --
Ping?
On 10/3/23 17:09, Jason Merrill wrote:
This revision changes from using DK_PEDWARN for permerror-with-option to using
DK_PERMERROR.
Tested x86_64-pc-linux-gnu. OK for trunk?
-- 8< --
In the discussion of promoting some pedwarns to be errors by default, rather
than move them all into
