GNU bug report logs - #37225
[PATCH] * doc/misc/ido.texi: Clean up text

Previous Next

Full log

Message #10 received at 37225-done <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Nicholas Drozd <nicholasdrozd <at> gmail.com>
Cc: 37225-done <at> debbugs.gnu.org
Subject: Re: bug#37225: [PATCH] * doc/misc/ido.texi: Clean up text
Date: Fri, 30 Aug 2019 10:24:27 +0300

> From: Nicholas Drozd <nicholasdrozd <at> gmail.com>
> Date: Thu, 29 Aug 2019 18:50:22 -0500
> 
> Fixes for minor bugs in the Ido manual.

Thanks.  I applied most of the changes, but not all of them: I left
out those which seemed to be your personal stylistic preferences,
where I saw nothing wrong with the original text -- in this case the
original author's preferences take precedence.  I also fixed a couple
of markup mistakes in your changes.

Finally, please in the future accompany the changes with a
ChangeLog-style commit log message (see CONTRIBUTE for the details).
I wrote that for you this time.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.