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