On Mon, Dec 4, 2023 at 1:44 PM Tom Tromey <t...@tromey.com> wrote: > > >>>>> "Arsen" == Arsen Arsenović <ar...@aarsen.me> writes: > > Arsen> Thanks. I'll wait for the Binutils and GDB maintainers to weigh in > Arsen> before pushing (plus, I can't push there). > > Seems fine to me. Thank you. > > Tom
LGTM; please post once it has been committed. Thanks, Eric
