From 509963769e6e9d29e70dcc20118ea29f785b0a51 Mon Sep 17 00:00:00 2001
From: ROUVREAU Vincent <vincent.rouvreau@inria.fr>
Date: Tue, 16 Jun 2020 10:38:03 +0200
Subject: Fix #352

---
 Dockerfile_for_circleci_image | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Dockerfile_for_circleci_image')

diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image
index c2e8a8f5..464097e7 100644
--- a/Dockerfile_for_circleci_image
+++ b/Dockerfile_for_circleci_image
@@ -1,4 +1,4 @@
-FROM ubuntu:19.04
+FROM ubuntu:20.04
 
 # Update and upgrade distribution
 RUN apt-get update && \
-- 
cgit v1.2.3