fix more ident problems in intent

odersky · gabro · commit 5afdc63b8480 · 2020-02-11T12:46:21.000+01:00
diff --git a/community-build/community-projects/intent b/community-build/community-projects/intent
@@ -1 +1 @@
-Subproject commit f7aed0942ca219ec43a91f3afdc8bca79d9da3be
+Subproject commit a8cf6273989db4990f0f50d7a33f42e3e72496bd
