Skip to content

pprust: support multiline comments within lines#74272

Merged
bors merged 1 commit intorust-lang:masterfrom
davidtwco:issue-73626-multiline-mixed-comments
Jul 14, 2020
Merged

pprust: support multiline comments within lines#74272
bors merged 1 commit intorust-lang:masterfrom
davidtwco:issue-73626-multiline-mixed-comments

Commits

Commits on Jul 12, 2020