From fc6109a58a6d78ec62f9f93b7bc4a10e51accb4d Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 6 Jan 2022 14:20:31 +0100
Subject: [PATCH] Release version 1.3.0
---
CHANGELOG.md | 2 +-
build.gradle | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 56a9872..143eb22 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,6 @@
# Changelog
-## [(next version)](https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/prob2-jupyter-kernel-1.2.1-SNAPSHOT-all.jar?job=test)
+## [1.3.0](https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.3.0-all.jar)
* Added support for Java 17.
* Updated ProB 2 to version 3.15.0.
diff --git a/build.gradle b/build.gradle
index c5d1303..f5a4d68 100644
--- a/build.gradle
+++ b/build.gradle
@@ -9,7 +9,7 @@ plugins {
id("com.github.johnrengelman.shadow").version("7.1.2")
}
-version = "1.2.1-SNAPSHOT"
+version = "1.3.0"
final isSnapshot = project.version.endsWith("-SNAPSHOT")
--
GitLab