From c0a465dff1817566a94942ee19b9e25bc1f40279 Mon Sep 17 00:00:00 2001 From: Christoph Scholtes Date: Sat, 18 Aug 2018 18:59:20 -0600 Subject: [PATCH] Review fix for compilation issue in mscHack 0.6.3. #500 --- repos/mscHack | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/mscHack b/repos/mscHack index c6a447f1..e5138d7c 160000 --- a/repos/mscHack +++ b/repos/mscHack @@ -1 +1 @@ -Subproject commit c6a447f1c6e15e1dbabc8ef3ec868852a423747b +Subproject commit e5138d7cc7142b7bfda0140d38d834b8141aa4a3