[debbugs-tracker] bug#12101: closed (Typo in man.el comment)

[GNU bug Tracking System]

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