|
From: | GNU bug Tracking System |
Subject: | bug#38931: closed (gnu: Add gnome-music.) |
Date: | Sat, 22 Aug 2020 16:35:02 +0000 |
Your message dated Sat, 22 Aug 2020 12:34:42 -0400 with message-id <20200822163442.GB6896@jasmine.lan> and subject line Re: [bug#38931] gnu: Add gnome-music. has caused the debbugs.gnu.org bug report #38931, regarding gnu: Add gnome-music. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 38931: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38931 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems
--- Begin Message ---Subject: gnu: Add gnome-music. Date: Sat, 04 Jan 2020 23:44:41 +0000 Hello Guix! Please find the attached patch to add gnome-music. NOTE: This patch depends on the patch #38930. Thank you! Regards, RG.gnome-music.patch
Description: Binary data
--- End Message ---
--- Begin Message ---Subject: Re: [bug#38931] gnu: Add gnome-music. Date: Sat, 22 Aug 2020 12:34:42 -0400 On Sat, Aug 22, 2020 at 12:34:47PM +0200, Pierre Neidhardt wrote: > gnome-music has been merged on master. > Can this be closed? Closed > > -- > Pierre Neidhardt > https://ambrevar.xyz/signature.asc
Description: PGP signature
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |