Subject: Re: [bug#64416] [PATCH] gnu: xmrig: Update to 6.19.3.
From: Guillaume Le Vaillant <[email-masked]>
To: Ahmad Draidi <[email-masked]>
Cc: [email-masked]
Date: Tue, 04 Jul 2023 09:13:38 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch applied as 09d31e3b09a4851cd8f1bb9b111e4f47e6caf555 with the
version updated to the latest release.
Thanks.