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



Reply via email to