Merge "docs: Add support for @inheritDoc (alias for @inheritdoc)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 5 Sep 2019 17:34:39 +0000 (17:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 5 Sep 2019 17:34:39 +0000 (17:34 +0000)
commit3050207857786aaf78b0a804583ca9a019d61df5
treef15509c2d20410a74830fcfc1ee13ab9926de53d
parentb328ae4a4ec1e87261f3b4d554f9bb9073c1c6aa
parent83a820e0d608baa7d3e17478d795b67d26e988e3
Merge "docs: Add support for @inheritDoc (alias for @inheritdoc)"