From 9b7149f16e54821b634497ae8c8496ee4e55d127 Mon Sep 17 00:00:00 2001 From: Gioacchino Mazzurco Date: Wed, 18 Oct 2023 11:44:58 +0200 Subject: [PATCH] Update OBS submodule --- build_scripts/OBS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build_scripts/OBS b/build_scripts/OBS index 31fa63acb..1a859d239 160000 --- a/build_scripts/OBS +++ b/build_scripts/OBS @@ -1 +1 @@ -Subproject commit 31fa63acb6394916ba605aa1a08e86ed47068708 +Subproject commit 1a859d2392cd6b148c5a5aa3df36eca3c2e6140a