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
...
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 20 May 2022 18:28:51 +0200] rev 64
...
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 20 May 2022 15:48:46 +0200] rev 63
...
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 20 May 2022 15:17:33 +0200] rev 62
...