On Tue, Jun 8, 2021 at 5:05 PM Bernd Edlinger <bernd.edlin...@hotmail.de>
wrote:

> On 6/8/21 3:54 PM, Jason Merrill wrote:
> >
> > This breaks bootstrap2.
> >
> > Jason
> >
>
>
> Sorry for the breakage,
>
> I've committed the following as obvious after
> confirming that it fixes bootstrap2:
>

Thanks.

Jason

Reply via email to