Subject: [bug#68714] [PATCH 0/5] Update flint to 3.0.1

From: Liliana Marie Prikler <[email-masked]>
Date: Fri, 26 Jan 2024 06:21:17 +0100

Am Donnerstag, dem 25.01.2024 um 22:27 +0000 schrieb Sharlatan
Hellseher:
> 
> Hi Liliana,
> 
> Was your patch series sent by mistake to this issue :-)?
> 
> I see this one is open without patches:
> 
> [PATCH 0/4] More clingo stuff.
> https://issues.guix.gnu.org/68713
> 
> Thanks,
> Oleg
Yes, sorry.

To unconfuse CI, if it's currently confused, you might want to send
your v1 as v2.

Cheers