Numbers and percent delimiters need a comment separator.#251
Merged
bors-servo merged 2 commits intomasterfrom Jul 5, 2019
Merged
Numbers and percent delimiters need a comment separator.#251bors-servo merged 2 commits intomasterfrom
bors-servo merged 2 commits intomasterfrom