Dotty

Backport "bugfix: Also save infos in semanticdb" to 3.3 LTS #857

Job	Run time
test	4m 23s
test_windows_fast	3m 53s
community_build_c	4m 27s
community_build_b	4m 28s
community_build_a	4m 24s
test_sbt	4m 23s
MiMa	4m 4s
build-sdk-package / build	4m 6s
test_windows_full	0s
test_non_bootstrapped	0s
test_java8	0s
build-chocolatey-package / build	8s
test-chocolatey-package	0s
publish_release	1s
publish_nightly	1s
open_issue_on_failure	1s
nightly_documentation	1s
	34m 20s

Provide feedback