Puppet Infrastructure Maintenance from 2025-02-20 22:00 CET to 2025-02-20 23:18 CET

The update was performed without any issues. All systems are operational again.

The Puppet infrastructure is due for a maintenance. There should be no impact on the service. The maintenance will take place on 2025-02-20 at 10:00 UTC+1. The maintenance will take approximately 60 minutes.

Thanks for your understanding.