diff --git a/Cool b/Cool index bf56905f..8d8fc39f 160000 --- a/Cool +++ b/Cool @@ -1 +1 @@ -Subproject commit bf56905fca4a76386f3eabaa8420900169349d5b +Subproject commit 8d8fc39f5dfa8cbc88cfbb846ff5615d68d224bc