GNU bug report logs - #68714
[PATCH 0/5] Update flint to 3.0.1

Previous Next

Package: guix-patches;

Reported by: Andreas Enge <andreas <at> enge.fr>

Date: Thu, 25 Jan 2024 13:57:02 UTC

Severity: normal

Tags: patch

Done: Andreas Enge <andreas <at> enge.fr>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: Sharlatan Hellseher <sharlatanus <at> gmail.com>, 68714 <at> debbugs.gnu.org
Subject: [bug#68714] [PATCH 0/5] Update flint to 3.0.1
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
This bug report was last modified 1 year and 118 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.