Merge "Fix deletion handling of rev_deleted"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 2 Sep 2016 22:12:32 +0000 (22:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 2 Sep 2016 22:12:32 +0000 (22:12 +0000)
commita0c9fb59a934a3e7d9f31f249ab0b2b923f49db7
tree7196d820c95783fa740aeea171fa140cce34046c
parenta1fc1d8ea7c97261d9e4a3aac65c96ce8db3f408
parent37812d7184fa2ad6fa4fc6194827785d5503f80e
Merge "Fix deletion handling of rev_deleted"