Subject: bug#38931: closed (Re: [bug#38931] gnu: Add gnome-music.)

From: [email-masked] (GNU bug Tracking System)
Date: Sat, 22 Aug 2020 16:35:02 +0000

Your bug report

#38931: gnu: Add gnome-music.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
38931: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38931
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#38931] gnu: Add gnome-music.
From: Leo Famulari <[email-masked]>
To: Pierre Neidhardt <[email-masked]>
Cc: [email-masked], Christopher Baines <[email-masked]>
Date: Sat, 22 Aug 2020 12:34:42 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

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/

Subject: gnu: Add gnome-music.
From: "Raghav Gururajan" <[email-masked]>
To: [email-masked]
Date: Sat, 04 Jan 2020 23:44:41 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Guix!

Please find the attached patch to add gnome-music.

NOTE: This patch depends on the patch #38930.

Thank you!

Regards,
RG.