[education/rkward/devel/workspace_output] /: Bump version.

[Thomas Friedrichsmeier]

Git commit 201969e52763506f9f7fdd4fd2f87db6598d31b7 by Thomas Friedrichsmeier.
Committed on 07/10/2020 at 14:46.
Pushed by tfry into branch 'devel/workspace_output'.

Bump version.

M  +1    -1    VERSION.cmake
M  +1    -1    rkward/plugins/pluginmap_meta.inc
M  +1    -1    rkward/rbackend/rpackages/rkward/DESCRIPTION

https://invent.kde.org/education/rkward/commit/201969e52763506f9f7fdd4fd2f87db6598d31b7

diff --git a/VERSION.cmake b/VERSION.cmake
index 1a3bea91..46832815 100644
--- a/VERSION.cmake
+++ b/VERSION.cmake
@@ -1,3 +1,3 @@
 # DO NOT CHANGE THIS FILE MANUALLY!
 # It will be overwritten by scripts/set_dist_version.sh
-SET(RKVERSION_NUMBER 0.7.1z+0.7.2+devel4)
+SET(RKVERSION_NUMBER 0.7.2z+0.7.2+devel1)
diff --git a/rkward/plugins/pluginmap_meta.inc b/rkward/plugins/pluginmap_meta.inc
index f09492ff..d10a7cfc 100644
--- a/rkward/plugins/pluginmap_meta.inc
+++ b/rkward/plugins/pluginmap_meta.inc
@@ -8,7 +8,7 @@
 		</snippet>
 		<snippet id="rkward_version_guard">
 			<!-- Guard against accidental inclusion of pluginmaps in a different installed version of RKWard -->
-			<dependencies rkward_min_version="0.7.1z" rkward_max_version="0.7.2y" />
+			<dependencies rkward_min_version="0.7.2z" rkward_max_version="0.7.2y" />
 		</snippet>
 	</snippets>
 </document>
diff --git a/rkward/rbackend/rpackages/rkward/DESCRIPTION b/rkward/rbackend/rpackages/rkward/DESCRIPTION
index 96df1523..5798feac 100755
--- a/rkward/rbackend/rpackages/rkward/DESCRIPTION
+++ b/rkward/rbackend/rpackages/rkward/DESCRIPTION
@@ -18,7 +18,7 @@ Authors at R: c(person(given="Thomas", family="Friedrichsmeier",
         role=c("aut")), person(given="the RKWard team",
         email="rkward-devel at kde.org", role=c("cre","ctb")))
 Version: 0.7.2
-Date: 2020-06-23
+Date: 2020-10-06
 RoxygenNote: 7.1.0
 Collate: 
     'base_overrides.R'