Puppet Infrastructure Maintenance from 2023-05-25 09:00 CET to 2023-05-25 10:00 CET

The Puppet infrastructure is due for a maintenance. There should be no impact on the service. The maintenance will take place on 2023-05-25 at 9:00 UTC+2. The maintenance will take approximately 60 minutes.

Thanks for your understanding.