[galaxy-commits] galaxy-dist commit 7b431b0dbc68: Fixed broken indentation.