make sure make_ascii_lowercase actually leaves upper-case non-ASCII characters alone#61715

Merged

bors merged 1 commit intorust-lang:masterfrom

RalfJung:test-ascii-lowercase

Jun 12, 2019

Commits on Jun 10, 2019

make sure to_ascii_lowercase actually leaves upper-case non-ASCII characters alone
RalfJung
committed