Linus Torvalds a publié la mise à jour vers Linux 7.1, nouvelle version du système d'exploitation libre. Elle apporte des gains de performances importants et une compatibilité améliorée avec le...