Avoid silent indentation in intent project

odersky · gabro · commit e582a19e617d · 2020-02-11T12:46:19.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
