diff --git a/repos/magik b/repos/magik index 05469c78e..cb3010fb6 160000 --- a/repos/magik +++ b/repos/magik @@ -1 +1 @@ -Subproject commit 05469c78e4371a9da403016472fd79ad77074cea +Subproject commit cb3010fb6888a00383d9d9996ac038ca92a0be3a