[Top][All Lists]

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

bug#38931: closed (gnu: Add gnome-music.)

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

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!


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


> -- 
> Pierre Neidhardt
> https://ambrevar.xyz/

Attachment: signature.asc
Description: PGP signature

--- End Message ---

reply via email to

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