fix more ident problems in intent

odersky · odersky · commit 2bbecb8cf084 · 2020-02-09T21:46:48.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
