[galaxy-commits] galaxy-dist commit 6dde140d0cfd: I forgot to change the disk file size from 0 back to 4 gb for the systems report before may last commit.