Merge "Typo in documentation: wgMaxShell not wgShellMax"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 23 Jun 2014 13:18:12 +0000 (13:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 23 Jun 2014 13:18:12 +0000 (13:18 +0000)
commit7925ecbc54c262e705a62a94270c34fd54c10762
tree690bb0a4c6a776f074c60c51e60fce1672725480
parent6aad6470f924dd4e2a0a3147d2b69ccc17b3c9e7
parent548b7de4dd65e1c45a3fb0440a3fe1d24c846512
Merge "Typo in documentation: wgMaxShell not wgShellMax"