Fix smart punctuation inside grammar terminals#1869

traviscross merged 1 commit intorust-lang:masterrust-lang/reference:masterfrom

ehuss:fix-smart-punctuation-grammarehuss/reference:fix-smart-punctuation-grammarCopy head branch name to clipboard