Backport "fix `dotty.tools.dotc.config.Properties` scaladoc" to LTS#12

WojciechMazur merged 1 commit intolts-3.3scala/scala3-lts:lts-3.3from

backport-lts-3.3-21691scala/scala3-lts:backport-lts-3.3-21691Copy head branch name to clipboard