On Mon, 04 Aug 2014 21:17:36 +0200, Eli Zaretskii wrote:
> Please do.  This is a purely technical issue, I'd even say an obvious
> fix, so no need to get my approval.  (I approve anyway.)

Checked in for trunk [attached] and for 7.8:
	a0a8f14d789b3fad94ad10d183b98b5fabe6bc1c

Modified Wiki although not filed a PR for updating the NEWS file:
	https://sourceware.org/gdb/wiki/GDB_7.8_Release?action=diff&rev1=58&rev2=59


Jan