Merge "Avoid logging query in wasDeletedSinceLastEdit() if the page still exists"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 21 Jul 2015 06:24:53 +0000 (06:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 21 Jul 2015 06:24:53 +0000 (06:24 +0000)
commitc20cd13f8163eac4041edf0c1afa588270239354
tree1fea8e7ce7646f192fb17b71e7e922b2dcca9d03
parent37f4900008e8ec88e7dd71b883fcc6138f1cff0f
parent377df958bf287ad8e3f2a05ae25ad16a0060081d
Merge "Avoid logging query in wasDeletedSinceLastEdit() if the page still exists"