Hi, On Mon, 25 Sep 2023 at 12:25, Simon Tournier <zimon.touto...@gmail.com> wrote:
> Well, I guess it is now fixed by > 94f3831e5bb1e04eeb3a0e7d31a0675208ce6f4c. Closing. Let me know if another discrepancy is around. Cheers, simon
Hi, On Mon, 25 Sep 2023 at 12:25, Simon Tournier <zimon.touto...@gmail.com> wrote:
> Well, I guess it is now fixed by > 94f3831e5bb1e04eeb3a0e7d31a0675208ce6f4c. Closing. Let me know if another discrepancy is around. Cheers, simon