Le Fri, 27 Dec 2019 12:21:57 -0500,
Raghav Gururajan <raghavgururajan@disroot.org> 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 :).