From 812eb184ff34ea48cbf04a690f0d7b7d1b0c348e Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Mon, 16 Sep 2024 11:38:00 +0000 Subject: [PATCH] Updating default.xml Change-Id: Ib713c75ab1e7c55f3cf79cbd3b0a62ad412f8574 --- default.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/default.xml b/default.xml index 59625e8..8844b84 100644 --- a/default.xml +++ b/default.xml @@ -20,7 +20,7 @@ - +