From 4ef868b1a5c380312b94250f2cba154bb1a9fb22 Mon Sep 17 00:00:00 2001
From: Olivier Grisel <olivier.grisel@ensta.org>
Date: Tue, 30 Jun 2020 11:07:08 +0200
Subject: [PATCH] Trigger CI