|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#37225: closed ([PATCH] * doc/misc/ido.texi: Clean up text) |
Date: | Fri, 30 Aug 2019 07:25:02 +0000 |
Your message dated Fri, 30 Aug 2019 10:24:27 +0300 with message-id <address@hidden> and subject line Re: bug#37225: [PATCH] * doc/misc/ido.texi: Clean up text has caused the debbugs.gnu.org bug report #37225, regarding [PATCH] * doc/misc/ido.texi: Clean up text to be marked as done. (If you believe you have received this mail in error, please contact address@hidden.) -- 37225: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37225 GNU Bug Tracking System Contact address@hidden with problems
--- Begin Message ---Subject: [PATCH] * doc/misc/ido.texi: Clean up text Date: Thu, 29 Aug 2019 18:50:22 -0500 Fixes for minor bugs in the Ido manual.0001-doc-misc-ido.texi-Clean-up-text.patch
Description: Source code patch
--- End Message ---
--- Begin Message ---Subject: Re: bug#37225: [PATCH] * doc/misc/ido.texi: Clean up text Date: Fri, 30 Aug 2019 10:24:27 +0300 > From: Nicholas Drozd <address@hidden> > 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.
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |