Rename reflection comment to documentation#9858

abgruszecki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:rename-Reflection-Comment-to-Documentationdotty-staging/dotty:rename-Reflection-Comment-to-DocumentationCopy head branch name to clipboard