On 08/26/2015 01:33 PM, Jeremy Jongepier wrote:
  Dear all,
 I'd like to install updated packages on the 
linuxaudio.org server today.
 I'll start around 14:00 CET. If there are any compelling reasons against
 updating today then please let me know! 
 Updates were successful, later on tonight I will give the server a
 reboot to load the new kernel. This will be around 20:30 CET. 
Server has been rebooted and now runs the latest kernel available for
Debian Wheezy.
Jeremy