[galaxy-commits] [galaxyproject/galaxy] 807586: Merge release_16.01 into dev.