On Dienstag, 21. Oktober 2025 10:59:05 CEST Andreas Vetter wrote:
It seems to me cmarkgfm is broken today. I tried to update it in my working
environment and get the same error:
Today the update of cmarkgfm worked.
--
Mit freundlichen Gruessen,
Andreas Vetter
