Subject: bug#33437: closed (Re: [bug#33437] [PATCH] Add dune-build-system)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 18 Dec 2018 21:42:02 +0000

Your bug report

#33437: [PATCH] Add dune-build-system

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
33437: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=33437
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#33437] [PATCH] Add dune-build-system
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Tue, 18 Dec 2018 22:41:47 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Le Mon, 19 Nov 2018 23:25:37 +0100,
Julien Lepiller <[email-masked]> a écrit :

> Hi, here is a small patch series to add dune-build-system and convert
> a few packages to it.

pushed as 6e8986c8388e889eb74509999aea826fd440dcc4 -
34d5314e9c826b1f602f9aaa8d707ca594736aaf

Subject: [PATCH] Add dune-build-system
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Mon, 19 Nov 2018 23:25:37 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi, here is a small patch series to add dune-build-system and convert a
few packages to it.