bug#38853: closed (gnu: gnome: Add missing inputs.)

[GNU bug Tracking System]

Your message dated Thu, 2 Jan 2020 15:01:30 +0200
with message-id <20200102130130.GV23018@E5400>
and subject line Re: [bug#38853] gnu: gnome: Add missing inputs. V3
has caused the debbugs.gnu.org bug report #38853,
regarding gnu: gnome: Add missing inputs.
to be marked as done.

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


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

--- Begin Message --- Subject: gnu: gnome: Add missing inputs. Date: Wed, 01 Jan 2020 15:22:55 -0500

Hello Guix!

Please find the attached patch to add missing inputs for gnome meta-
package.

Regards,
RG.

0001-gnu-gnome-Add-missing-inputs.patch
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: Re: [bug#38853] gnu: gnome: Add missing inputs. V3 Date: Thu, 2 Jan 2020 15:01:30 +0200

I fixed the commit message and pushed the patch.


-- 
Efraim Flashner   <address@hidden>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---