Merge "Maintenance: add fatalError() method"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 22 Nov 2017 08:12:59 +0000 (08:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 22 Nov 2017 08:12:59 +0000 (08:12 +0000)
commit57fb649603a94ea8244c50be0070d3074ca14d6e
tree05d169762f85247d7dd33e050fd8160400650200
parentb073e4159f57c370d9a8e56df68490f6beb7d9bc
parent9e34eeff23fdd46a8e9bddfbab39d45eab232827
Merge "Maintenance: add fatalError() method"