Merge "Make sure we don't try to use a deleted rev ID."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 23 Aug 2018 18:10:57 +0000 (18:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 23 Aug 2018 18:10:57 +0000 (18:10 +0000)
commit109b8fb65d56655af73fd11d63d48338f26147a2
treed74a912d7837b79b26eab9df49cfa8c151dc1ccc
parente2727d23ea43cf96a848c74f414c7addf2c1e4be
parent5799b2f00129d5bd8f0f54c20e3a2aca593dfbbd
Merge "Make sure we don't try to use a deleted rev ID."
includes/Storage/RevisionStore.php