Fixed broken </a>-tag, reported by Richard Dawe.
Rev: doc/index.html:1.6
Please register or sign in to comment
There will be a server upgrade attempt on July 6 2022 starting at around 18:00 CEST. Services will be down during this time. There is no estimate on how long this will take.
Rev: doc/index.html:1.6