Travis: switch back to GAP master branch#150

Merged

sebasguts merged 1 commit intooscar-system:masterfrom fingolfin:mh/travis

Nov 13, 2018

+1-2

Commits on Nov 13, 2018

Travis: switch back to GAP master branch
fingolfin
committed