From 19de9496c37588f196079e68d9ee53088cb52f8b Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Mon, 10 Feb 2025 05:06:54 +0000 Subject: [PATCH] Updating default.xml Change-Id: Icdff340864e73b3ef488896afd52372a7b38cb41 --- default.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/default.xml b/default.xml index 9cebede..ee20f45 100644 --- a/default.xml +++ b/default.xml @@ -15,11 +15,11 @@ - + - +