Re: [PATCH] Fix "PC register is not available" issue

[Eli Zaretskii <eliz@gnu.org>]

> Date: Mon, 21 Apr 2014 08:43:33 -0700
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: palves@redhat.com, gdb-patches@sourceware.org
> 
> > As I wrote on gdb@, I have committed the patch to fix the GDB side of
> > the problem.  See below for what I actually committed, both to master
> > and to the GDB 7.7 branch.
> 
> I didn't know we were planning on putting the change in the GDB 7.7
> branch as well, but since you've tested it for several weeks, and
> it's been seen by Pedro as well, we can indeed try to have it for
> 7.7.1 as well. The one thing I do ask when pushing a patch to the branch
> is to update the release Wiki page to add a reference to the fix:
> https://sourceware.org/gdb/wiki/GDB_7.7_Release
> 
> I've done it for you, since there was already a PR.
> 
> > Should we now close the Bugzilla PR?  If I can do that, any pointers
> > as to how?
> 
> Just log in, and change the state to "RESOLVED" + "FIXED".
> I was already logged in, so did it as well.

Thanks, on both accounts.