Avoid silent indentation in intent project

odersky · odersky · commit c206b42be4e4 · 2020-02-09T21:04:26.000+01:00
diff --git a/community-build/community-projects/intent b/community-build/community-projects/intent
@@ -1 +1 @@
-Subproject commit 989f23893dc1041f69217276176cb6579db35778
+Subproject commit f7aed0942ca219ec43a91f3afdc8bca79d9da3be
