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

Pedro Alves
2016-09-20T11:13:26Z

OK.

Thanks,
Pedro Alves