bug#43745: [PATCH] gnu: dune: Update to 2.7.1.

guix-patches

[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#43745: [PATCH] gnu: dune: Update to 2.7.1.

From:	Julien Lepiller
Subject:	bug#43745: [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.

[Prev in Thread]

Current Thread

[Next in Thread]

[bug#43745] [PATCH 27/27] gnu: dune: Update to 2.7.1., (continued)
- [bug#43745] [PATCH] gnu: dune: Update to 2.7.1., Brett Gilio, 2020/10/01
- bug#43745: [PATCH] gnu: dune: Update to 2.7.1., Julien Lepiller <=

Prev by Date: [bug#44006] [PATCH] doc: Fix typo
Next by Date: [bug#41111] Claws-Mail
Previous by thread: [bug#43745] [PATCH] gnu: dune: Update to 2.7.1.
Next by thread: bug#43604: [PATCH] services: %desktop-services: Setuid root NTFS and NFS mount helpers.
Index(es):
- Date
- Thread