Merge pull request #18175 from demeritcowboy/installation-doclinks
authorSeamus Lee <seamuslee001@gmail.com>
Sun, 16 Aug 2020 23:26:35 +0000 (09:26 +1000)
committerGitHub <noreply@github.com>
Sun, 16 Aug 2020 23:26:35 +0000 (09:26 +1000)
Installation doclinks not getting url-rewritten


Trivial merge