[galaxy-commits] galaxy-dist commit 231738037345: Automated merge with https://bitbucket.org/galaxy/galaxy-central/