Merge "API: Restore ability for dieStatus() to be passed a non-fatal Status"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 13 Jun 2017 23:25:34 +0000 (23:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 13 Jun 2017 23:25:35 +0000 (23:25 +0000)
commit80f6b8c048ffcfbd97182d7e26b0df107677f36c
treef07536cfabb33cebbcb62792132383b91378344f
parentdae4c94d893057345f62a3d498fb85c0a54de5a6
parente5006ce0f0365f0702c8d7b0a66bb51eb0d2f257
Merge "API: Restore ability for dieStatus() to be passed a non-fatal Status"