From 12052d2e765014750ea12e9825d5e4e345b29825 Mon Sep 17 00:00:00 2001
From: Zvezdan Petkovic <zpetkovic@acm.org>
Date: Wed, 4 Dec 2019 20:12:34 -0800
Subject: [PATCH] Updating the to the next version. [skip ci] ***NO_CI***

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

diff --git a/version.properties b/version.properties
index 21db260d..a2e04462 100644
--- a/version.properties
+++ b/version.properties
@@ -1 +1 @@
-version=0.12.6
+version=0.12.7