From 915f366ffcfaabad6d0fa49db33d4178e4aa979f Mon Sep 17 00:00:00 2001
From: Jens Maus <mail@jens-maus.de>
Date: Mon, 26 Nov 2018 10:54:00 +0100
Subject: [PATCH] version bump for 1.20 release.

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

diff --git a/VERSION b/VERSION
index bc44934..5fb5a6b 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.19
+1.20