emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: GNU bug Tracking System
Subject: bug#38833: closed (gnu: Add gnome-user-docs.)
Date: Wed, 01 Jan 2020 16:22:03 +0000

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.

Attachment: 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

Attachment: signature.asc
Description: PGP signature


--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]