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

Tom Tromey
2019-12-20T18:57:46Z

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

Pedro> Oh. Woot. We're talking past each other. I did not notice the
Pedro> "later" vs "latter" typo until now. I thought you were pointing
Pedro> strictly at "chose" vs "choose". The original intention was to say:

Pedro> "We chose the latter"

Pedro> Is that OK?

Yep! Thanks :)

Tom