From 3fccd804a8a21e8d56cb08d9f8ef1bf3c072a063 Mon Sep 17 00:00:00 2001 From: Narcha <42248344+Narcha@users.noreply.github.com> Date: Wed, 5 Jul 2023 11:23:04 +0200 Subject: [PATCH] Bump distro version --- conf/distro/HULKs-OS.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf/distro/HULKs-OS.conf b/conf/distro/HULKs-OS.conf index dd2a4ba..e58193a 100644 --- a/conf/distro/HULKs-OS.conf +++ b/conf/distro/HULKs-OS.conf @@ -2,4 +2,4 @@ require conf/distro/nao-core-minimal.conf DISTRO = "HULKs-OS" DISTRO_NAME = "HULKs-OS" -DISTRO_VERSION = "5.8.0" +DISTRO_VERSION = "5.8.1"