Statt Redstone 5 nennt Microsoft die nächste große Aktualisierung für sein Betriebssystem nun Windows 10 October 2018 Update - was auch das Wichtigste über den Veröffentlichungstermin verrät. Es enthält unter anderem Verbesserungen bei der Benutzerführung. (Windows 10, Microsoft)