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

[Eli Zaretskii]

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