[Top][All Lists]

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

bug#38933: closed (gnu: Add gnome-online-miners)

From: GNU bug Tracking System
Subject: bug#38933: closed (gnu: Add gnome-online-miners)
Date: Thu, 09 Jan 2020 14:54:01 +0000

Your message dated Thu, 9 Jan 2020 15:53:20 +0100
with message-id <address@hidden>
and subject line Re: [bug#38933] gnu: Add gnome-online-miners (v2)
has caused the debbugs.gnu.org bug report #38933,
regarding gnu: Add gnome-online-miners
to be marked as done.

(If you believe you have received this mail in error, please contact

38933: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38933
GNU Bug Tracking System
Contact address@hidden with problems
--- Begin Message --- Subject: gnu: Add gnome-online-miners Date: Sun, 05 Jan 2020 01:39:19 +0000
Hello Guix!

Please find the attached patch to add gnome-online-miners.

Thank you!


Attachment: gnome-online-miners.patch
Description: Binary data

--- End Message ---
--- Begin Message --- Subject: Re: [bug#38933] gnu: Add gnome-online-miners (v2) Date: Thu, 9 Jan 2020 15:53:20 +0100
Hi Raghav,


Pushed to guix master as commit e05471a1a9a8d147e11a8e729bccca4b30b9bfbc
after moving gobject-introspection to native-inputs.

Attachment: pgplp4B3NxKyr.pgp
Description: OpenPGP digital signature

--- End Message ---

reply via email to

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