From 228f8ee897198a246d7fada79690c104e5ae075d Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Mon, 1 Jul 2024 08:15:32 +0000 Subject: [PATCH] Release camkes-3.11.0: Updating default.xml Change-Id: I00fb44117d1fdc60e6babcd71b57b0aa2b730670 --- default.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/default.xml b/default.xml index 9e13260..3292352 100644 --- a/default.xml +++ b/default.xml @@ -9,17 +9,17 @@ - + - + - +