Minor documentation patches

Minor documentation patches

[David Röthlisberger]

Hi all,

I submitted 3 rather minor documentation patches that have sat in the
bugtracker untouched for 2 months (perhaps I should have put "[PATCH]"
in the title of the bug report, but I don't know how to edit it
retro-actively). They are:

http://debbugs.gnu.org/cgi/bugreport.cgi?bug=11201
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=11202
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=11244

Could someone please have a look? And if there's any way I can improve
my bug reports or patches, do let me know!

Thanks,
Dave.

Re: Minor documentation patches

[Stefan Monnier]

> I submitted 3 rather minor documentation patches that have sat in the
> bugtracker untouched for 2 months (perhaps I should have put "[PATCH]"

Yes, I'm sorry for the delay.  Thanks for pinging us back.

> Could someone please have a look?

I did, see my other emails.

> And if there's any way I can improve my bug reports or patches, do let
> me know!

They look great, not much you can do on your side, sadly.  The best way
to improve the time-to-feedback is to help us out ;-)

BTW, your contributions so far have been small, so we can install them
as "tiny change", but if you intend to submit more, they'll sooner or
later add up to something non-trivial, in which case we'll need you to
sign some copyright paperwork.
If you want to get this out of the way, I can send you the relevant forms,


        Stefan