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

Tom Tromey
2019-12-20T18:54:01Z

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> 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".

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

Can some word be added to make it clear that "later" is intended?
The current text really read as a typo.

Tom