Tuesday September 10 I'd like to perform some maintenance on the
servers between 09:00 and 12:00 CEST. Maintenance
consists mainly of performing updates on the servers and booting them
with the latest kernels. Downtime and impact should be minimal but if
any weird things happen then please let me know at jeremy(a)linuxaudio.org.