Improve migration message for Scala 2 procedures#1021

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix/procedure-migrationdotty-staging/dotty:fix/procedure-migrationCopy head branch name to clipboard