Dotty

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

Job	Run time
MiMa	3m 51s
community_build_a	52m 29s
test	28m 35s
test_windows_fast	23m 16s
test_windows_full	0s
test_non_bootstrapped	0s
community_build_c	55m 50s
test_sbt	16m 30s
community_build_b	1h 8m 0s
build-sdk-package / build	4m 11s
test_java8	0s
build-chocolatey-package / build	23s
test-chocolatey-package	0s
publish_release	0s
nightly_documentation	0s
publish_nightly	0s
open_issue_on_failure	0s
	4h 13m 5s

Provide feedback