Dotty

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

Job	Run time
test	43m 22s
test_windows_fast	31m 59s
MiMa	3m 39s
test_windows_full	0s
community_build_a	56m 17s
community_build_c	1h 2m 29s
community_build_b	1h 19m 8s
test_sbt	15m 19s
build-sdk-package / build	3m 56s
test_java8	0s
test_non_bootstrapped	0s
build-chocolatey-package / build	23s
test-chocolatey-package	0s
publish_nightly	0s
publish_release	0s
nightly_documentation	0s
open_issue_on_failure	0s
	4h 56m 32s

Provide feedback