Merge "DatabaseUpdater add missing $maintenance property"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 6 Mar 2017 22:06:29 +0000 (22:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 6 Mar 2017 22:06:30 +0000 (22:06 +0000)
commit4258722edf7f20a88bcbd17138885feb0625bfe6
treeab3923dbd5974a02891bdb5525491c5d8872a773
parentfe7ae34aef86a6a4fca40ae8e42e0a4810ef45ce
parentcd40724c5e8a975fce5fcfa76b5349f5efc3288d
Merge "DatabaseUpdater add missing $maintenance property"