Branch: refs/heads/dev Home: https://github.com/galaxyproject/galaxy Commit: 9aaafd8aea1930af02aeebc6b78f03164779ee7c https://github.com/galaxyproject/galaxy/commit/9aaafd8aea1930af02aeebc6b78f0... Author: Björn Grüning <bjoern@gruenings.eu> Date: 2018-11-24 (Sat, 24 Nov 2018) Changed paths: M lib/galaxy/tools/deps/container_resolvers/__init__.py M lib/galaxy/tools/deps/container_resolvers/mulled.py M lib/galaxy/tools/deps/mulled/mulled_build.py Log Message: ----------- Merge pull request #7044 from nsoranzo/release_18.09_fix/mulled_container_default_channels [18.09] Backport #7038 Commit: 03acc98576085039ab1363b8248369ca646a031d https://github.com/galaxyproject/galaxy/commit/03acc98576085039ab1363b824836... Author: Nicola Soranzo <nicola.soranzo@earlham.ac.uk> Date: 2018-11-25 (Sun, 25 Nov 2018) Log Message: ----------- Merge branch 'release_18.09' into dev Compare: https://github.com/galaxyproject/galaxy/compare/12dbbb81a7c7...03acc9857608 **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.