[education/rkward] /: Bump version for change in rk.show.html()

[Thomas Friedrichsmeier]

Git commit 2d0b4635fd2ce33cca9f0b916a13b42a5d100b7b by Thomas Friedrichsmeier.
Committed on 07/07/2024 at 16:32.
Pushed by tfry into branch 'master'.

Bump version for change in rk.show.html()

M  +1    -1    VERSION.cmake
M  +1    -1    rkward/rbackend/rksignalsupport.cpp
M  +1    -1    rkward/rbackend/rpackages/rkward/DESCRIPTION

https://invent.kde.org/education/rkward/-/commit/2d0b4635fd2ce33cca9f0b916a13b42a5d100b7b

diff --git a/VERSION.cmake b/VERSION.cmake
index dba607675..26c5457e1 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.9z+0.8.0+devel2)
+SET(RKVERSION_NUMBER 0.7.9z+0.8.0+devel3)
diff --git a/rkward/rbackend/rksignalsupport.cpp b/rkward/rbackend/rksignalsupport.cpp
index efbca8cd6..d04291dc8 100644
--- a/rkward/rbackend/rksignalsupport.cpp
+++ b/rkward/rbackend/rksignalsupport.cpp
@@ -95,7 +95,7 @@ namespace RKSignalSupportPrivate {
 		}
 #endif
 
-		RK_ASSERT (false);	// had not handler? Could conceivably happen, but should not.
+		RK_DEBUG(RBACKEND, DL_ERROR, "Got unhandled signal %d", signum);
 
 		signal (signum, SIG_DFL);
 		raise (signum);
diff --git a/rkward/rbackend/rpackages/rkward/DESCRIPTION b/rkward/rbackend/rpackages/rkward/DESCRIPTION
index 14a142fc1..0c6c8eec7 100755
--- a/rkward/rbackend/rpackages/rkward/DESCRIPTION
+++ b/rkward/rbackend/rpackages/rkward/DESCRIPTION
@@ -19,7 +19,7 @@ Authors at R: c(person(given="Thomas", family="Friedrichsmeier",
         role=c("aut")), person(family="the RKWard team",
         email="rkward-devel at kde.org", role=c("cre","aut")))
 Version: 0.8.0
-Date: 2024-06-23
+Date: 2024-07-07
 RoxygenNote: 7.2.2
 Collate: 
     'base_overrides.R'