bug#38833: closed (gnu: Add gnome-user-docs.)

[GNU bug Tracking System]

Your message dated Wed, 01 Jan 2020 17:21:04 +0100
with message-id <87sgkzuozz.fsf@nckx>
and subject line gnu: Add gnome-user-docs and gnome-getting-started-docs.
has caused the debbugs.gnu.org bug report #38833,
regarding gnu: Add gnome-user-docs.
to be marked as done.

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


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

--- Begin Message --- Subject: gnu: Add gnome-user-docs. Date: Tue, 31 Dec 2019 11:06:47 -0500

Hello Guix!

Please find the attached patch to add gnome-user-docs.

Thank you!

Regards,
RG.

0001-gnu-Add-gnome-user-docs.patch
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: gnu: Add gnome-user-docs and gnome-getting-started-docs. Date: Wed, 01 Jan 2020 17:21:04 +0100

Raghav,

I've pushed these as 823b77fb0d22c21d74820d959ab07e0d63af2bfb & al. with a tweak to the commit message (‘(…):’, not ‘(…).’, please adjust your snippet/workflow :-) and fleshed-out descriptions from my & Debian's hand.

Thanks!

T G-R

signature.asc
Description: PGP signature

--- End Message ---