Re: [PATCH] Unbreak DJGPP port of GDB

Joel Brobecker
2015-06-03T22:01:46Z

> No further comments, so I pushed the changeset, bot to master and to
> the 7.9 branch.

I didn't think we would be making any new release out of the 7.9 branch,
but maybe this is grounds for yet another one. Personally, if it was
missed by during pre-release, release, and then corrective release,
perhaps it's OK to wait for 7.10 instead, which is probably about
4-6 weeks away. But, it DJGPP users tell me it's going to be make
difference, I'm open to the idea of spending a couple of hours making
a 7.9.2.

Regardless, the procedure when pushing changes to the branch after
a release has been made is to update the wiki:

https://sourceware.org/gdb/wiki/GDB_7.9_Release

(which means you need a PR number as well).

--
Joel