Edouard Tisserant <edouard.tisserant@gmail.com> [Sat, 21 May 2022 08:36:14 +0200] rev 67
That was a long sequence of '...' commit message. That last fix should make it build.
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 20 May 2022 18:50:40 +0200] rev 66
...
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 20 May 2022 18:41:18 +0200] rev 65
...