From 0a71db16520b1ceb2c3187acb0543efe9db4889b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= <gregoire.henry@tezos.com>
Date: Mon, 18 Jun 2018 12:35:12 +0200
Subject: [PATCH] Opam: upgrade to irmin-1.4.0

---
 vendors/irmin-lmdb/irmin-lmdb.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vendors/irmin-lmdb/irmin-lmdb.opam b/vendors/irmin-lmdb/irmin-lmdb.opam
index 2b14ba527..f3084ab5e 100644
--- a/vendors/irmin-lmdb/irmin-lmdb.opam
+++ b/vendors/irmin-lmdb/irmin-lmdb.opam
@@ -15,7 +15,7 @@ build-test: ["jbuilder" "runtest" "-p" name]
 
 depends: [
   "jbuilder" {build & >= "1.0+beta10"}
-  "irmin"    {>= "1.3.0"}
+  "irmin"    {>= "1.4.0"}
   "lmdb"     {>= "0.1"}
 ]