Re: [PATCH] [DOC] shell startup files, clarifications and fixes.

Pedro Alves
2013-11-06T12:29:44Z

On 11/05/2013 06:01 PM, Eli Zaretskii wrote:
>> Date: Tue, 05 Nov 2013 17:46:22 +0000
>> From: Pedro Alves <palves@redhat.com>
>> CC: gdb-patches@sourceware.org
>>
>> Hi Eli,
>>
>> I notice I had forgotten to CC you on this patch, and since
>> it's buried in another thread, it most likely fell through
>> the cracks.
>>
>> Do you think it's OK?
>
> It's OK. (I did see it, and even reviewed the previous version of it,
> I just failed to respond when you posted an update.)

Thanks, pushed now.

--
Pedro Alves