[galaxy-commits] galaxy-dist commit b9bb8c131cd1: Merge, since I apparently keep forgetting to push my commits.