Merge pull request #7449 from dotty-staging/semanticdb-noindent

odersky · web-flow · commit 21fdeed1dbd7 · 2019-10-26T12:48:38.000+02:00
Drop the workaround -Yno-inline flag from semanticdb
diff --git a/community-build/community-projects/semanticdb b/community-build/community-projects/semanticdb
@@ -1 +1 @@
-Subproject commit 17f4c738e73ea5d3ec86c00aa53ab3142dc0e77e
+Subproject commit 05b8001beade3492f7eb8ab9425dd7454f66fe4b
