From fd21c6b0d070fcb8556db06fc65807e3f31389a6 Mon Sep 17 00:00:00 2001
From: Malte Helmert <malte.helmert@unibas.ch>
Date: Fri, 20 Dec 2019 17:13:20 +0100
Subject: [PATCH] [release-19.12] Update version number to 19.12.

---
 driver/version.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/driver/version.py b/driver/version.py
index b2b55ff579..1c3fa4d682 100644
--- a/driver/version.py
+++ b/driver/version.py
@@ -1,4 +1,4 @@
 # This file is auto-generated by the scripts in misc/release.
 # Do not modify it.
 
-__version__ = "19.06+"
+__version__ = "19.12"