Subject: Re: bug#15624: [PATCH] dircolors: add putty-256color terminal type

From: Bernhard Voelker <[email-masked]>
Date: Wed, 16 Oct 2013 08:03:15 +0200

On 10/16/2013 01:06 AM, Pádraig Brady wrote:
> On 10/15/2013 09:04 PM, Mike Frysinger wrote:
>> * src/dircolors.hin: Add putty-256color
>> Reported-by: Thomas D. <[email-masked]>, via
>> http://bugs.gnu.org/486786

> Pushed.

Thanks for pushing ... and also for fixing the bug URL
to http://bugs.gentoo.org/486786 (which is hereby also
in the bug-coreutils mailing list archive).

Have a nice day,
Berny