[galaxy-commits] [galaxyproject/galaxy] 47113b: Merge branch 'dev' of github.com:galaxyproject/gal...