From 3f0ddb0db1057c4467834f5b204d0cffebf2a113 Mon Sep 17 00:00:00 2001 From: Christoph Scholtes Date: Wed, 15 Apr 2020 17:48:07 -0600 Subject: [PATCH] Review and update Mantra to version 1.0.1. #643 --- repos/Mantra | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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