From 88e45f855615649f35bd6e31a61c4f30995fe580 Mon Sep 17 00:00:00 2001
From: Jean-Baptiste Keck <jean-baptiste.keck@imag.fr>
Date: Thu, 13 Jun 2019 00:27:32 +0200
Subject: [PATCH] fix another python package...

---
 ci/docker_images/ubuntu/disco/Dockerfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ci/docker_images/ubuntu/disco/Dockerfile b/ci/docker_images/ubuntu/disco/Dockerfile
index 8f971b63d..c206b4112 100644
--- a/ci/docker_images/ubuntu/disco/Dockerfile
+++ b/ci/docker_images/ubuntu/disco/Dockerfile
@@ -203,9 +203,11 @@ RUN cd /tmp \
  && cd - \
  && rm -Rf /tmp/graph-tool-2.28
 
-# fix backports.weakref
+# fix some python packages...
 RUN pip uninstall -y backports.weakref
 RUN apt-get install --reinstall -y python-backports.weakref
+RUN pip uninstall -y configparser
+RUN apt-get install --reinstall -y python-configparser
  
 # ensure all libraries are known by the runtime linker
 RUN ldconfig
-- 
GitLab