Dear all,

We would like to publish ILIAS 5.4.13 on Friday, June 19, 2020.

If you need more time to fix bugs that should become part of this bug fix release, please let me know.

Best regards Fabian Wolf