# No pre-Devario configuration migration is required.
post_upgrade() { :; }
