On Tue, Mar 29, 2022 at 9:14 AM Mikael Magnusson <mikachu@xxxxxxxxx> wrote: > > I'm just resubmitting it without the RFC tag, lest anyone be > surprised when I commit it later. Did we decide this was preferable to my tweak suggested in 49818?