Subject: Re: bug#61520: Bug found

From: Simon Tournier <[email-masked]>
Date: Wed, 15 Feb 2023 12:01:26 +0100

Hi,

On Wed, 15 Feb 2023 at 11:25, tmikew1985 <[email-masked]> wrote:

> After I sent the report I run guix pull again and it worked.

Thanks.  So closing because it was a transient error.  Feel free to
reopen if I miss something.

Cheers,
simon