[debbugs-tracker] bug#36899: closed ([PATCH] dircolors: Recognize the WebP image format)

[GNU bug Tracking System]

Your message dated Wed, 7 Aug 2019 08:32:40 +0200
with message-id <address@hidden>
and subject line Re: bug#36899: [PATCH] dircolors: Recognize the WebP image 
format
has caused the debbugs.gnu.org bug report #36899,
regarding [PATCH] dircolors: Recognize the WebP image format
to be marked as done.

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


-- 
36899: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=36899
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] dircolors: Recognize the WebP image format
>
>
>
>
> Date: 
>
> Fri,  2 Aug 2019 13:50:17 -0700
>
>
>
>
> * src/dircolors: Add .webp for the WebP image format
> ---
>  src/dircolors.hin | 1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/src/dircolors.hin b/src/dircolors.hin
> index 3aa445bfa..9aa5b07da 100644
> --- a/src/dircolors.hin
> +++ b/src/dircolors.hin
> @@ -158,6 +158,7 @@ EXEC 01;32
>  .m2v 01;35
>  .mkv 01;35
>  .webm 01;35
> +.webp 01;35
>  .ogm 01;35
>  .mp4 01;35
>  .m4v 01;35
> -- 
> 2.22.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#36899: [PATCH] dircolors: Recognize the WebP image format
>
>
>
>
> Date: 
>
> Wed, 7 Aug 2019 08:32:40 +0200
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0
>
>
>
>
> Thanks, pushed (with a slight modification of the commit message) at:
>   https://git.sv.gnu.org/cgit/coreutils.git/commit/?id=eb5a9ebaf1
>
> Have a nice day,
> Berny
>
>
> --- End Message ---