Subject: Re: [bug#38763] gnome-themes-extra

From: Julien Lepiller <[email-masked]>
Date: Sat, 28 Dec 2019 16:21:18 +0100

Le Fri, 27 Dec 2019 12:21:57 -0500,
Raghav Gururajan <[email-masked]> a écrit :

> Hello Guix!
> 
> Please find the attached patch to package gnome-themes-extra.
> 
> Thank you!
> 
> Regards,
> RG.

Pushed as 76ea7632215e65197839657ee8748d51b1caf5cd, thanks!

I modified the description and fixed the commit log (it had a . instead
of a :).