post_install() { echo "Revision 728 has an error that requires to delete or" echo "rename ~/.config/gummi/snippets.cfg to overwrite it " echo "with the new version." } post_upgrade() { post_install }