Ya está disponible la segunda actualización 4.0r2 de Debian estable desde el jueves en los servidores FTP Debian. Anuncio oficial aquí.