Door een storing bij de nameservers van de HU werken sommige diensten minder snel dan gebruikelijk. Er zijn inmiddels extra nameservers buiten het HU netwerk in gebruik genomen.

We verwachten dat dit probleem niet lang meer zal duren.

Edit: de problemen zijn in de loop van de middag door de HU opgelost.