Fix picking default syntax for comments#14725

odersky merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:scaladoc/comment-syntax-fixdotty-staging/dotty:scaladoc/comment-syntax-fixCopy head branch name to clipboard