On Thu, 12 Oct 2023, 17:11 Jeff Law, <jeffreya...@gmail.com> wrote: > > > On 10/12/23 08:38, Christophe Lyon wrote: > > LGTM but I'm not a maintainer ;-) > LGTM to as well -- I usually try to stay out of libstdc++, but this > looks simple enough. Both patches in this series are OK. >
Thanks for stepping in, Jeff. The patches are indeed fine, I'm just offline due to circumstances beyond my control. I hope normal service will resume soon.