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

[GNU bug Tracking System]

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
address@hidden.)


-- 
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!

Regards,
RG.

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,

thanks!

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

pgplp4B3NxKyr.pgp
Description: OpenPGP digital signature

--- End Message ---