diff --git a/repos/magik b/repos/magik index ec5cf5342..c23a2abb8 160000 --- a/repos/magik +++ b/repos/magik @@ -1 +1 @@ -Subproject commit ec5cf53429bf55ec431ceff2b58e0b907af61d2c +Subproject commit c23a2abb88ed51421c60811575e6eb581455fa42