diff --git a/repos/magik b/repos/magik index 5e30db304..12d64f98e 160000 --- a/repos/magik +++ b/repos/magik @@ -1 +1 @@ -Subproject commit 5e30db30416c73ff2dea3bf5c3f895b46122a688 +Subproject commit 12d64f98e72e7d4f789547af56f3865575862151