Tras una semana de trabajo extra, Linus Torvalds ha encontrado el momento oportuno para anunciar la disponibilidad de Linux 4.11.