Hi Dirk On Thu, 30 Nov 2023 at 00:51, Dirk Eddelbuettel <e...@debian.org> wrote: > Ping squared. > > If I don't hear from you I may just close this. I believe this (non-, to me) > issue has been taken care of. If you think I am wrong please let me know.
I closed it on 2023-11-24 [1]. Where do you see it still open? Regards Graham [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1055922#118
