GNU bug report logs - #38931
gnu: Add gnome-music.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: "Raghav Gururajan" <raghavgururajan <at> disroot.org>
Subject: bug#38931: closed (Re: [bug#38931] gnu: Add gnome-music.)
Date: Sat, 22 Aug 2020 16:35:02 +0000

[Message part 1 (text/plain, inline)]

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 38931 <at> debbugs.gnu.org.

-- 
38931: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38931
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Leo Famulari <leo <at> famulari.name>
To: Pierre Neidhardt <mail <at> ambrevar.xyz>
Cc: 38931-done <at> debbugs.gnu.org, Christopher Baines <mail <at> cbaines.net>
Subject: Re: [bug#38931] gnu: Add gnome-music.
Date: Sat, 22 Aug 2020 12:34:42 -0400

[Message part 3 (text/plain, inline)]

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 (application/pgp-signature, inline)]

[Message part 5 (message/rfc822, inline)]

From: "Raghav Gururajan" <raghavgururajan <at> disroot.org>
To: guix-patches <at> gnu.org
Subject: gnu: Add gnome-music.
Date: Sat, 04 Jan 2020 23:44:41 +0000

[Message part 6 (text/plain, inline)]

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 (application/octet-stream, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.