From 4cb2d15356260468cc39d87951793d876bdd0f6c Mon Sep 17 00:00:00 2001 From: twi-devel Date: Tue, 1 Sep 2026 12:39:31 +0200 Subject: [PATCH] Adds latest migration results --- jenkins-ci-rme | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins-ci-rme b/jenkins-ci-rme index 2dccfed1b..0b737969b 160000 --- a/jenkins-ci-rme +++ b/jenkins-ci-rme @@ -1 +1 @@ -Subproject commit 2dccfed1b781970c19b85daa5b1a13c00d2ff35b +Subproject commit 0b737969b0a90f53ba8dde978e20713788f4b94a