Disallow forbidden usage of non-ascii identifiers.#72259
Merged
bors merged 1 commit intorust-lang:masterfrom May 17, 2020
Merged
Disallow forbidden usage of non-ascii identifiers.#72259bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom