Fri, 22 Nov 2024 16:31:51 +0100Merge remote-tracking branch 'hggit/python3' into python3
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 22 Nov 2024 16:31:51 +0100] rev 4043
Merge remote-tracking branch 'hggit/python3' into python3