Merge "installer: Remove <doclink/> parser function and last use of it"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 18 Jul 2019 02:18:35 +0000 (02:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 18 Jul 2019 02:18:35 +0000 (02:18 +0000)
commit31f646e2f502ff66bbdf96c20c4770466c56d221
treeca187ca1d941a301b68029772f4cd318209b6bbc
parentee801e16118c002a12816f77dadf15292580cd16
parent1b60564ce75fc9a50c967eed24ac1cd5ba29acc4
Merge "installer: Remove <doclink/> parser function and last use of it"