Updating default.xml

Change-Id: Ic9fbe445d79b08902bf86a87d971b058ff83acf1
seL4 · May 16, 2024 · 506ed15 · 506ed15
1 parent 40c53af
commit 506ed15
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/default.xml b/default.xml
@@ -30,5 +30,5 @@
   <project name="sel4webserver.git" path="projects/webserver" revision="638f767c7fa13962ea2cc0dba474f98b05c7ab35" upstream="master" dest-branch="master">
     <linkfile src="easy-settings.cmake" dest="easy-settings.cmake"/>
   </project>
-  <project name="util_libs.git" path="projects/util_libs" revision="ff7c25b7bcf8f812eecfa55d721912cf9c9654a3" upstream="master" dest-branch="master"/>
+  <project name="util_libs.git" path="projects/util_libs" revision="c913776d71473e60c69df6c66df35a8e9c1c497d" upstream="master" dest-branch="master"/>
 </manifest>