Maintenance releases need to be advertised on the website

[nomis]

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.

[HeikoSchlittermann]

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