|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#12101: closed (Typo in man.el comment) |
Date: | Tue, 31 Jul 2012 13:43:02 +0000 |
Your message dated Tue, 31 Jul 2012 15:35:18 +0200 with message-id <address@hidden> and subject line Re: bug#12101: Typo in man.el comment has caused the debbugs.gnu.org bug report #12101, regarding Typo in man.el comment to be marked as done. (If you believe you have received this mail in error, please contact address@hidden) -- 12101: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=12101 GNU Bug Tracking System Contact address@hidden with problems
--- Begin Message ---Subject: Typo in man.el comment Date: Tue, 31 Jul 2012 14:16:17 +0100 About line 870: ;; "man" itself is case-sensitive on the command line That should be "case-insensitive". -- http://rrt.sc3d.org
--- End Message ---
--- Begin Message ---Subject: Re: bug#12101: Typo in man.el comment Date: Tue, 31 Jul 2012 15:35:18 +0200 User-agent: Gnus/5.130006 (Ma Gnus v0.6) Emacs/24.1.50 (gnu/linux) Reuben Thomas <address@hidden> writes: > About line 870: > > ;; "man" itself is case-sensitive on the command line > > That should be "case-insensitive". Fixed, thanks. -- Bastien
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |