Skip to content

Switch Travis to use Ubuntu 16.04 "xenial", and other CI tweaks#2759

Merged
fingolfin merged 5 commits intogap-system:masterfrom fingolfin:mh/travisNov 9, 2018

Commits

Commits on Nov 9, 2018