GNU bug report logs - #43745
[PATCH] gnu: dune: Update to 2.7.1.

Previous Next

Package: guix-patches;

Reported by: Julien Lepiller <julien <at> lepiller.eu>

Date: Thu, 1 Oct 2020 13:46:02 UTC

Severity: normal

Tags: patch

Done: Julien Lepiller <julien <at> lepiller.eu>

Bug is archived. No further changes may be made.

Full log

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

From: Julien Lepiller <julien <at> lepiller.eu>
To: 43745-done <at> debbugs.gnu.org
Subject: [PATCH] gnu: dune: Update to 2.7.1.
Date: Thu, 15 Oct 2020 18:04:11 +0200

Thank you, pushed as aea459a50474b98f31f6ce7da9468a98958ef949 to
339177956affdc471832750a3805b74356487e93 with Simon's remarks.
This bug report was last modified 4 years and 222 days ago.

Previous Next

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