diff --git a/repos/Mantra b/repos/Mantra
index f78c58aa..c5ed11c4 160000
--- a/repos/Mantra
+++ b/repos/Mantra
@@ -1 +1 @@
-Subproject commit f78c58aacf922b634858404859b7c66b308df5ef
+Subproject commit c5ed11c4ea3e012c9d2aa3950b96acbb33356527