This morning (April 7'th 2022) around 7.20 we received notifications of high pingtimes on one of our routers in Amsterdam. The exact cause is to be investigated later today. The machine has been rebooted around 7.36, after which all connections were rerouted. The situation is stable now.
