diff --git a/VERSION.cmake b/VERSION.cmake
index 8a71a415..b2c0d6cb 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+devel2)
+SET(RKVERSION_NUMBER 0.7.1z+0.7.2+devel3)
diff --git a/rkward/rbackend/rpackages/rkward/DESCRIPTION b/rkward/rbackend/rpackages/rkward/DESCRIPTION
index 674c29c5..bd67e938 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 <rkward-devel@kde.org>
 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.2
-Date: 2020-04-02
+Date: 2020-05-31
 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'