Re: [RFA, doc RFA] New option set use-deprecated-index-sections

Eli Zaretskii
2012-07-19T19:02:45Z

> Date: Thu, 19 Jul 2012 11:25:41 -0700
> cc: gdb-patches@sourceware.org
> From: dje@google.com
>
> How about this?

Fine with me, thanks.