https://bugzilla.wikimedia.org/show_bug.cgi?id=69134
--- Comment #3 from Gerrit Notification Bot gerritadmin@wikimedia.org --- Change 170600 merged by jenkins-bot: delete.py: do not attempt to delete not-existing pages
https://gerrit.wikimedia.org/r/170600