bug#37642: closed ([PATCH] gnu: Add filters)

[GNU bug Tracking System]

Your message dated Mon, 28 Oct 2019 20:41:15 +0100
with message-id <87a79kzmhw.fsf@nckx>
and subject line Re: [bug#37642] [PATCH] gnu: Add filters
has caused the debbugs.gnu.org bug report #37642,
regarding [PATCH] gnu: Add filters
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] gnu: Add filters Date: Sun, 06 Oct 2019 20:00:21 -0600

0001-gnu-Add-filters.patch
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: Re: [bug#37642] [PATCH] gnu: Add filters Date: Mon, 28 Oct 2019 20:41:15 +0100

Pushed as 57705f47497b97a0ed42362148f4a523ae5fc8ce.

Thanks,

T G-R

signature.asc
Description: PGP signature

--- End Message ---