Skip to content

Fix a pretty printer crash on /***.#12586

Merged
bors merged 1 commit intorust-lang:masterfrom chris-morgan:fix-pretty-print-slash-star-star-star-crashFeb 27, 2014

Commits

Commits on Feb 27, 2014