GNU bug report logs - #30741
[PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0")

Previous Next

Package: guix-patches;

Reported by: Alex ter Weele <alex.ter.weele <at> gmail.com>

Date: Wed, 7 Mar 2018 05:20:02 UTC

Severity: normal

Tags: patch

Done: ludo <at> gnu.org (Ludovic Courtès)

Bug is archived. No further changes may be made.

Full log

Message #13 received at 30741-done <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Alex ter Weele <alex.ter.weele <at> gmail.com>
Cc: 30741-done <at> debbugs.gnu.org
Subject: Re: [bug#30741] [PATCH] fix idris (was "Re: Incomplete work to
 upgrade Idris to 1.2.0")
Date: Fri, 16 Mar 2018 11:56:18 +0100

Hi Alex,

Alex ter Weele <alex.ter.weele <at> gmail.com> skribis:

> Reposting a properly-formatted patch series here.

I pushed this yesterday evening, thanks!

Ludo’.
This bug report was last modified 7 years and 123 days ago.

Previous Next

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