Skip to content

Update GitHub pull request documentation link#43823

Merged
bors merged 1 commit intorust-lang:masterfrom
tchajed:fix-pr-link
Aug 12, 2017
Merged

Update GitHub pull request documentation link#43823
bors merged 1 commit intorust-lang:masterfrom
tchajed:fix-pr-link

Commits

Commits on Aug 12, 2017