Skip to content

Minor optimisation of the string operations#42037

Merged
bors merged 1 commit intorust-lang:masterfrom
nagisa:charpat
May 19, 2017
Merged

Minor optimisation of the string operations#42037
bors merged 1 commit intorust-lang:masterfrom
nagisa:charpat

Commits

Commits on May 19, 2017