[PATCH v4] [PR/24474] Add gdb.lookup_static_symbol to the python API

[Christian Biesinger via gdb-patches]

On Tue, Jul 30, 2019 at 10:57 AM Eli Zaretskii <eliz@gnu.org> wrote:
>
> > From: Christian Biesinger <cbiesinger@google.com>
> > Date: Tue, 30 Jul 2019 10:40:22 -0500
> >
> > Hi Eli,
> >
> > could you take a look at the documentation parts of the below patch
> > before I push? Thanks!
>
> Didn't I just approve it?  Or maybe I got confused by the many
> versions of similar patches?
>
> Anyway, this is OK.

I'm sorry for the confusing mass of patches. I believe you commented
on a couple of versions of the patch adding methods to Objfile; this
one adds a method to "gdb".

Thanks; pushing now.

Christian