From: Jean Privat <jean@pryen.org>
Date: Thu, 13 Jun 2019 14:14:24 +0000 (-0400)
Subject: Merge: Some more small improvements on gitlab-ci
X-Git-Url: http://nitlanguage.org

Merge: Some more small improvements on gitlab-ci

Pull-Request: #2744
---

9248f1c81c08b6c0ec7785678dbb1d7440b885d9