Maintainance work today from 9:00 PM

Today, 2017-06-19 from 9:00 PM we need to perform maintainance work on the computer pool. All computers will need to be restarted. We expect the maintenance to take at most one hour.

-- Julian Brost