From b925e6be2535c1285549e969260d9150cf9db5ab Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 18 May 2020 14:22:24 +0200
Subject: [PATCH] Release version 1.2.0

---
 CHANGELOG.md | 2 +-
 README.md    | 2 +-
 build.gradle | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 26b076d..2080c90 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Changelog
 
-## [(next version)](./README.md#for-developers)
+## [1.2.0](https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.2.0-all.jar)
 
 * Added support for Java 14.
 * Added B parser version information to `:version` output.
diff --git a/README.md b/README.md
index 64923fa..4a5a898 100644
--- a/README.md
+++ b/README.md
@@ -67,5 +67,5 @@ $ jupyter qtconsole --kernel=prob2
 
 For information on how to use the kernel, run the built-in `:help` command, or see the included [example notebooks](./notebooks).
 
-[current-download]: https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.1.0-all.jar
+[current-download]: https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.2.0-all.jar
 [changelog]: ./CHANGELOG.md
diff --git a/build.gradle b/build.gradle
index d844432..66c4aeb 100644
--- a/build.gradle
+++ b/build.gradle
@@ -9,7 +9,7 @@ plugins {
 	id("com.github.johnrengelman.shadow").version("5.2.0")
 }
 
-version = "1.1.1-SNAPSHOT"
+version = "1.2.0"
 
 final isSnapshot = project.version.endsWith("-SNAPSHOT")
 
-- 
GitLab