Closed Daniel15 closed 4 months ago
Thank you for the fix. I will start a deploy for the website shortly (it is normally only deployed at new releases, just in case there are things that don't apply to the most recent version, but nothing of note has changed since last release, so this should be fine).
Good catch!