Fri, 05 Apr 2024 14:59:00 +0200Merge commit '80e123b34e488ffea851dc2168b366ba6124c09b' into python3
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 05 Apr 2024 14:59:00 +0200] rev 3930
Merge commit '80e123b34e488ffea851dc2168b366ba6124c09b' into python3