Re: [ANNOUNCEMENT] GDB 8.2 released!

Tom Tromey
2018-09-10T16:01:15Z

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

Eli> Pushed to master, thanks.

I'm cherry-picking this to the 8.2 branch as well.

Tom