From a7b6fabad0d88607b13cdb3e275bc82fb4a784da Mon Sep 17 00:00:00 2001
From: Roberto Leinardi <leinardi@gmail.com>
Date: Sat, 25 Apr 2020 11:42:27 +0200
Subject: [PATCH] Prepare for release 0.12.2

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

diff --git a/gradle.properties b/gradle.properties
index 4b617d9..1e5f550 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -13,7 +13,7 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 #
-version=0.12.1
+version=0.12.2
 ideaVersion=2018.1.8
 sinceBuild=181.5684
 untilBuild=