Dotty

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

Job	Run time
test	42m 22s
test_windows_fast	37m 47s
MiMa	4m 5s
test_java8	0s
test_sbt	16m 18s
community_build_c	57m 9s
community_build_a	55m 37s
community_build_b	1h 23m 32s
test_non_bootstrapped	0s
test_windows_full	0s
build-sdk-package / build	4m 1s
build-chocolatey-package / build	21s
test-chocolatey-package	-1s
publish_release	-1s
publish_nightly	-1s
nightly_documentation	0s
open_issue_on_failure	0s
	5h 1m 9s

Provide feedback