[SOLVED] node5 | node13 connectivity issues

Tuesday, 21 November 2017, 23:40 - We are aware that node5 and node13 are having connectivity issues, our provider in the Netherlands has been contacted about them.
Tuesday, 21 November 2017, 23:45 - Servcies are now back online, we've been notified that this was some emergency network maintenance.