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