Merge "Rewrite DumpRev to not always fatal out"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 27 Apr 2018 22:35:42 +0000 (22:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 27 Apr 2018 22:35:42 +0000 (22:35 +0000)
commit3e7f39981101141d5434f613b8e3d65c149a95c3
tree987d4567b14c4a3f5572d389233f4d46eb20b6ea
parentcca6ecaecc0189a24f43a15e9eaaef2c44bb2c64
parentc819006cb6861866b3fd050b534cf5d25a93f09b
Merge "Rewrite DumpRev to not always fatal out"