Merge: Ci more
authorJean Privat <jean@pryen.org>
Fri, 22 Feb 2019 19:38:03 +0000 (14:38 -0500)
committerJean Privat <jean@pryen.org>
Fri, 22 Feb 2019 19:38:03 +0000 (14:38 -0500)
some fix up and improvements on gitlab-ci

Pull-Request: #2738


Trivial merge