diff --git a/VERSION.cmake b/VERSION.cmake
index 38a3b340..f00c08e2 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.1)
+SET(RKVERSION_NUMBER 0.7.1z+0.7.2+devel1)
diff --git a/rkward/plugins/analysis.pluginmap b/rkward/plugins/analysis.pluginmap
index 98019b10..41db4bac 100644
--- a/rkward/plugins/analysis.pluginmap
+++ b/rkward/plugins/analysis.pluginmap
@@ -1,127 +1,127 @@
diff --git a/rkward/plugins/data.pluginmap b/rkward/plugins/data.pluginmap
index 97d41f64..bd221107 100644
--- a/rkward/plugins/data.pluginmap
+++ b/rkward/plugins/data.pluginmap
@@ -1,33 +1,33 @@
\ No newline at end of file
diff --git a/rkward/plugins/distributions.pluginmap b/rkward/plugins/distributions.pluginmap
index a7f8b199..d7813776 100644
--- a/rkward/plugins/distributions.pluginmap
+++ b/rkward/plugins/distributions.pluginmap
@@ -1,224 +1,224 @@
diff --git a/rkward/plugins/embedded.pluginmap b/rkward/plugins/embedded.pluginmap
index b8b6f5d1..a0b36961 100644
--- a/rkward/plugins/embedded.pluginmap
+++ b/rkward/plugins/embedded.pluginmap
@@ -1,35 +1,35 @@
diff --git a/rkward/plugins/import_export.pluginmap b/rkward/plugins/import_export.pluginmap
index 4549be4a..2a8cbb5c 100644
--- a/rkward/plugins/import_export.pluginmap
+++ b/rkward/plugins/import_export.pluginmap
@@ -1,84 +1,84 @@
diff --git a/rkward/plugins/irt.pluginmap b/rkward/plugins/irt.pluginmap
index 5a324556..3430e918 100644
--- a/rkward/plugins/irt.pluginmap
+++ b/rkward/plugins/irt.pluginmap
@@ -1,92 +1,92 @@
\ No newline at end of file
diff --git a/rkward/plugins/menu.pluginmap b/rkward/plugins/menu.pluginmap
index a53dde9c..014a0ef7 100644
--- a/rkward/plugins/menu.pluginmap
+++ b/rkward/plugins/menu.pluginmap
@@ -1,33 +1,33 @@
diff --git a/rkward/plugins/plots.pluginmap b/rkward/plugins/plots.pluginmap
index 8373abdf..6d490aaa 100644
--- a/rkward/plugins/plots.pluginmap
+++ b/rkward/plugins/plots.pluginmap
@@ -1,53 +1,53 @@
diff --git a/rkward/plugins/pluginmap_meta.inc b/rkward/plugins/pluginmap_meta.inc
index 3d71c477..f09492ff 100644
--- a/rkward/plugins/pluginmap_meta.inc
+++ b/rkward/plugins/pluginmap_meta.inc
@@ -1,15 +1,15 @@
-
+
diff --git a/rkward/plugins/under_development.pluginmap b/rkward/plugins/under_development.pluginmap
index 07bc1c04..6fbb5be5 100644
--- a/rkward/plugins/under_development.pluginmap
+++ b/rkward/plugins/under_development.pluginmap
@@ -1,69 +1,69 @@
diff --git a/rkward/plugins/x11device.pluginmap b/rkward/plugins/x11device.pluginmap
index 0ad9294b..31a0b2c5 100644
--- a/rkward/plugins/x11device.pluginmap
+++ b/rkward/plugins/x11device.pluginmap
@@ -1,31 +1,31 @@
diff --git a/rkward/rbackend/rpackages/rkward/DESCRIPTION b/rkward/rbackend/rpackages/rkward/DESCRIPTION
index a2d2585f..b440482e 100755
--- a/rkward/rbackend/rpackages/rkward/DESCRIPTION
+++ b/rkward/rbackend/rpackages/rkward/DESCRIPTION
@@ -1,44 +1,44 @@
Package: rkward
Type: Package
Title: Provides functions related to the RKWard GUI
Description: This package contains functions which are useful in
combination with the RKWard GUI. Many of these functions only
needed for the internal communication between RKWard and R, but
some are also useful in user scripts.
Author: Thomas Friedrichsmeier and the RKWard Team
Maintainer: RKWard-devel mailing list
Depends: R (>= 2.9.0),methods
URL: https://rkward.kde.org
BugReports: https://rkward.kde.org/Bugs
License: GPL (>= 2)
Encoding: UTF-8
LazyLoad: yes
Authors@R: c(person(given="Thomas", family="Friedrichsmeier",
email="thomas.friedrichsmeier@ruhr-uni-bochum.de",
role=c("aut")), person(given="the RKWard team",
email="rkward-devel@kde.org", role=c("cre","ctb")))
-Version: 0.7.1
-Date: 2020-01-16
+Version: 0.7.2
+Date: 2020-01-23
RoxygenNote: 6.1.0
Collate:
'base_overrides.R'
'internal.R'
'internal_debugger.R'
'internal_graphics.R'
'internal_help.R'
'public_graphics.R'
'rk.KDE_GUI-functions.R'
'rk.check.for.pandoc.R'
'rk.demo.R'
'rk.edit-functions.R'
'rk.filename-functions.R'
'rk.label-functions.R'
'rk.plugin-functions.R'
'rk.print-functions.R'
'rk.replace.function.R'
'rk.sessionInfo.R'
'rk.sync-functions.R'
'rk.utility-functions.R'
'rk.workspace-functions.R'
'rkward-package.R'
'ver.R'