>>>>> "Arsen" == Arsen Arsenović <arsen@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