Puppet Infrastructure Maintenance from 2022-10-06 15:00 CEST to 2022-10-06 16:00 CEST

The Puppet infrastructure is due for a maintenance. There should be no impact on the service. The maintenance will take place on 2022-10-06 at 15:00 UTC+2. The maintenance will take approximately 60 minutes.

Thanks for your understanding.