[PATCH] Make "info threads" use the gdb::option framework

[Pedro Alves]

On 6/26/19 6:56 PM, Tom Tromey wrote:
>>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:
> 
> Pedro> I had this in my local "print -OPT" branch, but had decided not to
> Pedro> include in the original series, because it's not as useful as the
> Pedro> others.  I'm sending it now, since I had it written anyway.
> 
> FWIW this looks good to me.

Thanks, I've merged it now.

Thanks,
Pedro Alves