Merge pull request #12429 from eileenmcnaughton/comment
authorMonish Deb <monish.deb@jmaconsulting.biz>
Fri, 6 Jul 2018 09:43:59 +0000 (15:13 +0530)
committerGitHub <noreply@github.com>
Fri, 6 Jul 2018 09:43:59 +0000 (15:13 +0530)
[NFC] Update comment link


Trivial merge