On 2019-12-26 2:05 a.m., Christian Biesinger via gdb-patches wrote: > I just realized I only pushed this to trunk, whereas Eli reported this > issue on the gdb 9 branch. OK to push this to the branch as well? > > Christian Yes, please go ahead. Simon