Leandro Lucarella has opened a bug report in GDB bugzilla to
keep track of the patch:
http://sourceware.org/bugzilla/show_bug.cgi?id=10142

I posted this here so we can easily keep an eye on this one.