Subject: bug#52257: Replace pumpa origin

From: zimoun <[email-masked]>
Date: Wed, 08 Mar 2023 18:16:18 +0100

Hi,

On Thu, 02 Mar 2023 at 02:11, Sarthak Shah <[email-masked]> wrote:

> I've sent a patch to [email-masked] that should fix this.
> This is my first commit to the project, so please let me know if I've
> made any mistakes.

For reference, the patch is #61906 [1].

1: <http://issues.guix.gnu.org/msgid/CADBZEVmtvbBFoOo6SuDZC15L9xm1+J7OD=[email-masked]>

Cheers,
simon