Re: [PATCH v2 01/24] Preserve selected thread in all-stop w/ background execution

Pedro Alves
2019-12-20T17:22:34Z

On 11/1/19 1:20 PM, Tom Tromey wrote:
>>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:
>
> Pedro> + previously selected thread (now exited). We chose the
> Pedro> + later, just because that's what GDB used to do. After
>
> I think this should say "We choose the latter".

Curious. I actually meant the past as written, since it's a choice
that is already made. But I can change it if it reads more naturally
to a native speaker. Or I could say "We've chosen". Let me know.

Thanks,
Pedro Alves