bug#38151: closed ([PATCH] gnu: Move numix-theme to gnome-xyz.scm.)

[GNU bug Tracking System]

Your message dated Sun, 10 Nov 2019 20:59:49 +0100
with message-id <address@hidden>
and subject line Re: [bug#38151] [PATCH] gnu: Move numix-theme to gnome-xyz.scm.
has caused the debbugs.gnu.org bug report #38151,
regarding [PATCH] gnu: Move numix-theme to gnome-xyz.scm.
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] gnu: Move numix-theme to gnome-xyz.scm. Date: Sat, 09 Nov 2019 13:00:25 +0000 User-agent: Roundcube Webmail Since a new file for Gnome themes and extensions has been made, I moved numix-theme there from gnome.scm.

Bye

Giacomo

0001-gnu-Move-numix-theme-to-gnome-xyz.scm.patch
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: Re: [bug#38151] [PATCH] gnu: Move numix-theme to gnome-xyz.scm. Date: Sun, 10 Nov 2019 20:59:49 +0100 User-agent: Notmuch/0.29.1 (https://notmuchmail.org) Emacs/26.3 (x86_64-pc-linux-gnu)

address@hidden writes:

> Since a new file for Gnome themes and extensions has been made, I moved 
> numix-theme there from gnome.scm.

Applied, thanks!

signature.asc
Description: PGP signature

--- End Message ---