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

Tom Tromey
2019-11-01T13:20:28Z

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

Tom