Dear all,
We have published release 5.1.25 on GitHub, see https://github.com/ILIAS-eLearning/ILIAS/releases/tag/v5.1.25 .
Thank you all for your bugfixes and support.
Best regards,
Anton