[galaxy-commits] galaxy-dist commit 19b10fff1335: More bug fixes.