From f81cbdff86aa35fb3f91a7e9f671ec8c46781bf1 Mon Sep 17 00:00:00 2001
From: Olivier Grisel <olivier.grisel@ensta.org>
Date: Thu, 20 Aug 2026 14:52:11 +0200
Subject: [PATCH] DBG empty commit to trigger CI in branch