Thank you! On Tue, Dec 5, 2023 at 3:35 AM Arun Isaac <arunis...@systemreboot.net> wrote:
> > Hi Aleix, > > These is Ricardo's (CCed) server. I have already told them about > it off-list. They are quite busy now, but they promised to fix this in > the second half of December or so. > > Regards, > Arun >
