Sorry, yes, I see it now. Seems that Gmail has some issues and delivers some mails very delayed only (I only saw Carsten’s mail). Will check next time in the archives. Konrad
> On 30. Jan 2024, at 10:45, Stefan Seifert <[email protected]> > wrote: > >> @Joerg: Pauls mail never hit the mailing list. Can you forward it? > > must be a problem on you side - it's in the archives: > https://lists.apache.org/thread/xj6qosnjtgxvdf1lh58zs1bv5lh0y0q6 > > stefan
