bug#39759: closed ([PATCH] gnu: cedille: Update to 1.1.2.)

[GNU bug Tracking System]

Your message dated Sun, 23 Feb 2020 19:05:38 +0100
with message-id <87ftf1tc0d.fsf@nckx>
and subject line Re: [bug#39759] [PATCH] gnu: cedille: Update to 1.1.2.
has caused the debbugs.gnu.org bug report #39759,
regarding [PATCH] gnu: cedille: Update to 1.1.2.
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] gnu: cedille: Update to 1.1.2. Date: Sun, 23 Feb 2020 17:42:54 +0000

Hi Guix,

There was a minor update to cedille.

Thanks,

John

0001-gnu-cedille-Update-to-1.1.2.patch
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: Re: [bug#39759] [PATCH] gnu: cedille: Update to 1.1.2. Date: Sun, 23 Feb 2020 19:05:38 +0100

John Soo 写道：

There was a minor update to cedille.

Built & pushed as 1063dea4ff8a5106b51de8d6de7e23753403c81e with a miniscule tweak to the commit message.

Thanks!

T G-R (but ‘Tobias’ is fine too :-)

signature.asc
Description: PGP signature

--- End Message ---