[galaxy-commits] [galaxyproject/galaxy] a4e9fe: Merge pull request #1 from galaxyproject/dev