Re: MinGW build of GDB 8.2.90

Sergio Durigan Junior
2019-02-28T20:37:26Z

On Thursday, February 28 2019, Eli Zaretskii wrote:

>> From: Sergio Durigan Junior <sergiodj@redhat.com>
>> Cc: brobecker@adacore.com, gdb-patches@sourceware.org
>> Date: Thu, 28 Feb 2019 15:17:02 -0500
>>
>> Just as a reminder, these changes need to be pushed to origin/master as
>> well.
>
> Yes, I usually push to master and then cherry-pick to the branch. I
> believe this is the procedure?

Sure, that works.

Thanks,

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