[PATCH] Unbreak DJGPP port of GDB

[Eli Zaretskii]

> Date: Wed, 3 Jun 2015 15:01:41 -0700
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: qiyaoltc@gmail.com, gdb-patches@sourceware.org
> 
> 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).

That's a nuisance.