Branch: refs/heads/release_18.05 Home: https://github.com/galaxyproject/galaxy Commit: c2307f3f1aae8f46fd1023accdf0a6c1c435eba3 https://github.com/galaxyproject/galaxy/commit/c2307f3f1aae8f46fd1023accdf0a... Author: M Bernt m.bernt@ufz.de Date: 2018-06-15 (Fri, 15 Jun 2018)
Changed paths: M lib/galaxy/tools/xsd/galaxy.xsd
Log Message: ----------- added missing level fatal_oom to xsd
Commit: 8d75a67386f72814c17ad1abef5d0154b247a521 https://github.com/galaxyproject/galaxy/commit/8d75a67386f72814c17ad1abef5d0... Author: M Bernt m.bernt@ufz.de Date: 2018-06-15 (Fri, 15 Jun 2018)
Changed paths: M lib/galaxy/tools/xsd/galaxy.xsd
Log Message: ----------- also added missing documentation
Commit: cddee94e4bb043381433030e34f3f9129382830f https://github.com/galaxyproject/galaxy/commit/cddee94e4bb043381433030e34f3f... Author: Nicola Soranzo nicola.soranzo@gmail.com Date: 2018-06-15 (Fri, 15 Jun 2018)
Changed paths: M lib/galaxy/tools/xsd/galaxy.xsd
Log Message: ----------- Small fixes
Commit: a2ff5efbce3023b12a774600b331867d7320898a https://github.com/galaxyproject/galaxy/commit/a2ff5efbce3023b12a774600b3318... Author: John Chilton jmchilton@gmail.com Date: 2018-06-16 (Sat, 16 Jun 2018)
Changed paths: M lib/galaxy/tools/xsd/galaxy.xsd
Log Message: ----------- Merge pull request #6341 from bernt-matthias/release_18.05_fix_xsd
[18.05] Added missing level fatal_oom to xsd
Compare: https://github.com/galaxyproject/galaxy/compare/12a05c782099...a2ff5efbce30 **NOTE:** This service 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.
galaxy-commits@lists.galaxyproject.org