# Devario starts after this obsolete upstream migration.
post_upgrade() { :; }
