use char pattern for single-character splits: a.split("x") -> a.split('x')#53599

Merged

bors merged 1 commit intorust-lang:masterfrom

matthiaskrgr:split_str__to__split_char

Sep 2, 2018

Commits on Aug 22, 2018

use char pattern for single-character splits: a.split("x") -> a.split('x')
matthiaskrgr
committed