From 52caadda3674c126cbec014f0727e696278868f3 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Mon, 7 May 2018 10:55:39 +0200
Subject: [ci] Add ounit to the base Docker package set.

This should help #6808.
---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 12d3a87b2..78850fa5e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,4 +1,4 @@
-image: coqci/base:V2018-05-05
+image: coqci/base:V2018-05-07
 
 stages:
   - build
-- 
cgit v1.2.3