diff --git a/jrl-walkgen-v3/Makefile b/jrl-walkgen-v3/Makefile
index ab0f4b792498ead0dcb05beff4a3eeaf43d92476..3266e602901e7256b3b0dfa04299e8f5f645b0be 100644
--- a/jrl-walkgen-v3/Makefile
+++ b/jrl-walkgen-v3/Makefile
@@ -4,7 +4,7 @@
 
 ORG=			stack-of-tasks
 NAME=			jrl-walkgen
-VERSION=		4.2.2
+VERSION=		4.2.3
 
 PKGNAME=		${NAME}-v3-${VERSION}
 
diff --git a/jrl-walkgen-v3/distinfo b/jrl-walkgen-v3/distinfo
index c85dfc9dc8a6f6e163a8ef5b5c67cb5a88a59bb3..55a93bb490bffca1c8c3f5adff85ed1e05d8cd4b 100644
--- a/jrl-walkgen-v3/distinfo
+++ b/jrl-walkgen-v3/distinfo
@@ -1,3 +1,3 @@
-SHA1 (jrl-walkgen-4.2.2.tar.gz) = 938e0ac7cafd5db44f0426d775759d37ee842894
-RMD160 (jrl-walkgen-4.2.2.tar.gz) = 7ec69aab0cf28ecff222fd66a54c153e1ceeedb3
-Size (jrl-walkgen-4.2.2.tar.gz) = 19446329 bytes
+SHA1 (jrl-walkgen-4.2.3.tar.gz) = 1cfbac23b4c73c95bd9f3fa5b76425b2b472fe55
+RMD160 (jrl-walkgen-4.2.3.tar.gz) = 2425dfe58fbac9c1ec185a0e03872cc3f23cde31
+Size (jrl-walkgen-4.2.3.tar.gz) = 19741750 bytes