RFA: handle "MiniDebuginfo" section

[Tom Tromey]

>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:

Jan> Just giving a feedback I have never agreed with this feature, there
Jan> were many mails by me (and others) with subject /minidebuginfo/i:

I'm not particularly fond of it either, but my rationale for putting it
into gdb is that it is shipping in Fedora, and so this patch makes the
upstream gdb as capable as the Fedora gdb in this area.

Tom