This repository was archived by the owner on Mar 27, 2026. It is now read-only.
Repository navigation
This repository was archived by the owner on Mar 27, 2026. It is now read-only.
Maintenance releases need to be advertised on the website #4
Description
Activity
- Simon Arlott <notifications@github.com> (So 19 Apr 2020 21:26:38 CEST):Instead of stating that the latest release is (currently) 4.93, it should say 4.93.0.4 and link to it. Presumably there needs to be some way to do this without publishing a new version of the documentation.You're right. I'll see how to fix this. -- Heiko
Instead of stating that the latest release is (currently) 4.93, it should say 4.93.0.4 and link to it.
Presumably there needs to be some way to do this without publishing a new version of the documentation.