diff --git a/external/milsko b/external/milsko index 9dee24f..38b5876 160000 --- a/external/milsko +++ b/external/milsko @@ -1 +1 @@ -Subproject commit 9dee24f7bc2a7f38e3dc3a60b8d9c7a14568eb60 +Subproject commit 38b5876fba9e2049e9dc37364deeee05515e71b3