New print server
We know printing is not always fun, and we hear your complaints. During the past few months we have been busy setting up a new print server that should solve most of today's problems (hopefully). We will deploy the new system on
Monday, April 4, at 07:30
The only change for you should be faster and more reliable printing. If you do experience any problems when printing, please let us know immediately so we can fix it.
Update 08:45 DNS confusion about old/new print server, we'll have to wait for the DNS cache to flush
Update April 5, 16:10 migration is done