On Fri, Nov 17, 2023 at 09:18:39AM -0500, Jason Merrill wrote: > You recently pinged this patch, but I haven't seen an update since this > review?
Oops, sorry, I've missed this and DR 2406 review posts in my inbox
during vacation, will get to that momentarily.
Thanks.
Jakub
