Augment generated regex XML comment with original pattern and options#88175

Merged

stephentoub merged 3 commits intodotnet:mainfrom stephentoub:augmentxmlcomment

Jun 29, 2023

+22-11

Commits on Jun 29, 2023