My apologies, I made a mistake when trimming the text. This is misleading:
>On Monday, 4 July 2022 16:47:46 CEST Fons Adriaensen wrote: >> On Mon, Jul 04, 2022 at 04:29:13PM +0200, Iyán Méndez Veiga wrote: This way it's correct: On Mon, 04 Jul 2022 20:56:56 +0200, Iyán Méndez Veiga wrote: >On Monday, 4 July 2022 16:47:46 CEST Fons Adriaensen wrote:
