From 04e071a5e4cdf7f5396a0e36874e0a023b7af232 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Thu, 13 Jul 2017 15:10:09 +0200
Subject: [PATCH] Bump version

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

diff --git a/version b/version
index b1ebf9c26..15d68a2c0 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-1.11.11
\ No newline at end of file
+1.11.12
\ No newline at end of file