> From: Tom Tromey <tom@tromey.com> > Cc: Tom Tromey <tom@tromey.com>, gdb-patches@sourceware.org, mjw@redhat.com > Date: Mon, 10 Sep 2018 10:00:56 -0600 > > >>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes: > > Eli> Pushed to master, thanks. > > I'm cherry-picking this to the 8.2 branch as well. Great, thanks.