[galaxy-commits] commit/galaxy-central: carlfeberhard: History options: have 'Purge deleted datasets' update the user disk size