Puppet Infrastructure Maintenance from 2023-11-03 10:00 to 11:00 from 2023-11-03 10:00 CEST to 2023-11-03 11:00 CEST

Upgrade done.

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

Thanks for your understanding.