# update_functions.inc.sh: Functions used by the update script