Dear all,
We have published release 5.2.12 on GitHub, see https://www.ilias.de/docu/goto_docu_pg_95604_1719.html .
Thank you all for your bugfixes and support.
Best regards,
Anton