[galaxy-commits] galaxy-dist commit ba34d996fff5: Merge.