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

Eli Zaretskii
2013-11-05T18:01:53Z

> 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.