gdb-7.11.1 release - nearly there!

[Joel Brobecker]

Hello,

The target date for 7.11.1 release was 3 months after 7.11, which
would place it around May 24th (tomorrow). So far, we have only
one issue listed as blocking left, and Pedro has made good progress
on what we'll be able to do for 7.11.1:

https://www.sourceware.org/ml/gdb-patches/2016-05/msg00339.html

Let's say, assuming the issue gets closed this week, we can target
for 7.11.1 to be released on Monday (May 30th), or Tue (May 31st).

The release wiki page:
https://sourceware.org/gdb/wiki/GDB_7.11_Release

PS: The X-Bugzilla-Changed-Fields in bugzilla doesn't work.
    It feels like this header includes target_milestone in the list
    for *all* emails :-(, so right now, I'm receiving all gdb-prs
    emails. I would probably be more succesful matching based on
    the email body, but that means it might silently break if
    a bugzilla change modifies the format.

-- 
Joel