[debbugs-tracker] bug#19642: closed (Don't downcase system diagnostics' first letters)

[GNU bug Tracking System]

Your message dated Wed, 21 Jan 2015 20:33:34 -0800
with message-id <address@hidden>
and subject line Re: bug#19642: Don't downcase system diagnostics' first letters
has caused the debbugs.gnu.org bug report #19642,
regarding Don't downcase system diagnostics' first letters
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
19642: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=19642
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: Don't downcase system diagnostics' first letters Date: Tue, 20 Jan 2015 14:24:27 -0800 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0

Tags: patch

The attached patch follows up on a bug report sent to emacs-devel, here:

http://lists.gnu.org/archive/html/emacs-devel/2015-01/msg00553.html

0001-Don-t-downcase-system-diagnostics-first-letters.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#19642: Don't downcase system diagnostics' first letters
>
>
>
>
> Date: 
>
> Wed, 21 Jan 2015 20:33:34 -0800
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0
>
>
>
>
> Stefan Monnier wrote:
> > I think we should bite this bullet, indeed.  Thanks,
>
> Thanks, I installed it as commit 8dd58a2d1fedaa16573bc67e986dc2014620c681 and am 
> marking this bug as done.
>
>
> --- End Message ---