Deleting a Publication doesn't delete its verifications. If you delete verified Publication number 666 and then run "select * from verification where pub_id = 666;" in MySQL, you will see that the data is still there. This doesn't affect the users at this time, but it could be a problem in case Publication IDs are ever re-used, so we need to fix it.
Anonymous
mod\pa_delete.py 1.5 committed.
Implemented in r2011-19.