[galaxy-commits] galaxy-dist commit 43c1f36a8e4e: merge