16314: Merge branch 'master'
[arvados.git] / tools / jenkins /
2019-07-29 Tom CleggMerge branch '14813-config-cors'
2019-07-29 Peter AmstutzMerge branch '15467-config-fixups'
2019-07-25 Peter Amstutz14717: Fixups since tests now use config.yml