[Dev] svn.clarin.eu, user.clarin.eu, trac.clarin.eu, trac.clarin.nl, lrt.clarin.eu and infra.clarin.eu down this afternoon

[Sander Maijers]

Dear developers,

Said FQDNs will be down for about a quarter starting at 15:00 in order 
to update the OS.

Best,
Sander Maijers
system administrator for ems04.mpi.nl