From a18c1374e054de3abe50151aadab5b4f6a3a762e Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Sat, 20 Mar 2021 15:16:17 +0100 Subject: [PATCH] Remove illegal windows file names from cask Fixes #11710 --- community-build/community-projects/cask | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/community-build/community-projects/cask b/community-build/community-projects/cask index 93c27abe583c..d9e3ec387ade 160000 --- a/community-build/community-projects/cask +++ b/community-build/community-projects/cask @@ -1 +1 @@ -Subproject commit 93c27abe583c2b804e5ce66271440789fca0581a +Subproject commit d9e3ec387ade7f462fe696d25c647e3192daf566