Merge: Some more small improvements on gitlab-ci
authorJean Privat <jean@pryen.org>
Thu, 13 Jun 2019 14:14:24 +0000 (10:14 -0400)
committerJean Privat <jean@pryen.org>
Thu, 13 Jun 2019 14:14:24 +0000 (10:14 -0400)
Pull-Request: #2744


No differences found