Repository navigation

Backport PR #9420 on branch v2.1.0-doc - #9433

Merged

dstansby merged 1 commit into

auto-backport-of-pr-9420

Oct 17, 2017

Merged

Backport PR #9420 on branch v2.1.0-doc#9433
dstansby merged 1 commit into
v2.1.0-docfrom
auto-backport-of-pr-9420

Commits on Oct 16, 2017
- Backport PR #9420: Trivial doc fixes.
  
  dstansby
  authored and
  MeeseeksDev[bot]
  committed
  44978f2