42812 crush when deleting db during push replication

(The FB ticket is 42884, with 42812 as the parent case.)