On 19/1/2025 7:47 pm, Michael Albinus wrote:
There has been error. I've pushed a fix to the repositories.Thanks for reporting, and sorry for the confusion.
Cheers for the fix, and don't be sorry. I should have asked for help before I let myself get frustrated (harder done than said unfortunately for me).
/Jordan
