Re: [PATCH] Use 'event_ptid' instead of 'resume_ptid' on startup_inferior (fix for regression on my last commit)

Sergio Durigan Junior
2016-09-20T11:18:53Z

On Tuesday, September 20 2016, Pedro Alves wrote:

> OK.

Thanks, pushed.

7d5adfe3118050243e85469ad891c7813e4db68a

--
Sergio
GPG key ID: 237A 54B1 0287 28BF 00EF 31F4 D0EB 7628 65FC 5E36
Please send encrypted e-mail if possible