Re: [PATCHv2 1/3] gdb/python: introduce gdb.Corefile API

Tom Tromey
2025-10-06T15:39:51Z

>>>>> "Andrew" == Andrew Burgess <aburgess@redhat.com> writes:

Andrew> I took a look at this, and I don't think gdbpy_registry is the right
Andrew> solution.

Good enough for me, thanks.

I think the patch is fine otherwise. Can't recall if I did this:
Approved-By: Tom Tromey <tom@tromey.com>

Tom