Subject: Re: [bug#31531] [PATCH v2 9/9] gnu: monero-core: Rename package to "monero-gui".

From: [email-masked] (Ludovic Courtès)
Date: Mon, 16 Jul 2018 16:52:46 +0200

Hello,

I merged the remained of the patch series.  I merged the ‘git-fetch’
patch of ‘monero-core’ with the updated, and I declared “monero-core” a
deprecated package name for “monero-gui”.

We’re done now.  Thank you!

Ludo’.