From 3233fd20492514327a5f9695569c564a4b68b1b7 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 14:09:49 +0200
Subject: [PATCH] Increase next version from 1.1.1 to 1.2.0

This seems like a good idea with the TLA Tools update and other major
changes (and also lets me safely make another big change).
---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 7395ff3..9439cfe 100644
--- a/build.gradle
+++ b/build.gradle
@@ -7,7 +7,7 @@ plugins {
 	id "de.undercouch.download" version "5.6.0"
 }
 
-project.version = '1.1.1-SNAPSHOT'
+project.version = '1.2.0-SNAPSHOT'
 project.group = 'de.hhu.stups'
 
 final isSnapshot = project.version.endsWith("-SNAPSHOT")
-- 
GitLab