Hi folks! Reinhard yesterday catched that we backported a bit too much for our site in the maintenance_1.0.x branch.
Now when I'm thinking about it: we do not intend to deploy the site from there right? It's always going to get published from master, isn't? So I'd say we should rather remove the whole site from 1.0.x. We can probably deploy the javadoc and the other reports and version it. I'm not too deep into our site build though. Any opinions? LieGrue, strub
