/proj: maintainance work today from 10pm
Today, 2016-06-29 from 10pm we need to perform maintainance work on /proj. All other services should stay available.
We expect the maintainance to be done by 6am tomorrow morning.
-- Simon Ruderich