From 72bb367ad5bcbf4c58fda2aec0f7c9e668b0960c Mon Sep 17 00:00:00 2001
From: Thierry Martinez <Thierry.Martinez@inria.fr>
Date: Wed, 16 Oct 2019 18:54:48 +0200
Subject: [PATCH] Bump dune version

---
 dune-project | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dune-project b/dune-project
index 1c04cb5..1de0088 100644
--- a/dune-project
+++ b/dune-project
@@ -1,4 +1,4 @@
-(lang dune 1.10)
+(lang dune 1.11)
 
 (generate_opam_files true)
 
-- 
GitLab