Merge "Fix error reporting in Special:Undelete"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 6 Jul 2017 17:53:03 +0000 (17:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 6 Jul 2017 17:53:04 +0000 (17:53 +0000)
commit942446575486057b38e186a8f5599a645758b702
tree0c03bf993992e5bba871461720d040a9b3089882
parent230b3ee879e59109af175eb0b7eba0ef7cf7e160
parentd621911b70bb9dea98d00b92a83d632d57b71764
Merge "Fix error reporting in Special:Undelete"