Skip to content

Minor edit to text region replacement#5140

Merged
bors merged 3 commits intorust-lang:masterfrom
tesuji:cleanup-replace
Feb 7, 2020
Merged

Minor edit to text region replacement#5140
bors merged 3 commits intorust-lang:masterfrom
tesuji:cleanup-replace

Commits

Commits on Feb 7, 2020