Subject: gnu: Add gnome-online-miners
From: "Raghav Gururajan" <[email-masked]>
To: [email-masked]
Date: Sun, 05 Jan 2020 01:39:19 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Guix!

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

Thank you!

Regards,
RG.