Noch im Namens-Plan
Die Bereitstellung am morgigen Tag würde immerhin noch genügen, um die Bezeichnung als Mai-Update noch zu rechtfertigen. Allerdings wäre sich Microsoft inzwischen auch nicht zu schade, trotz einer solchen Bezeichnung erst im Juni loszulegen, wenn die Lage es erforderlich macht. Das ist die Lehre aus dem Herbst-Update im Oktober 2018, als man den Monat unbedingt noch für den Release nutzen wollte und aufgrund diverser schwerer Fehler das ganze Update noch einmal zurückziehen musste.Dass das Mai 2020-Update nun auf den letzten Drücker erscheint, verwundert trotzdem etwas. Immerhin hatte Microsoft schon vor Weihnachten die letzten nennenswerten Veränderungen an der Version vorgenommen. Seitdem wurde nur noch intensiv getestet, damit die noch vorhandenen Fehler ausgemerzt werden können. Das führte zeitweise sogar schon zu Spekulationen, dass das Update noch vor dem Frühjahr herausgegeben werden könnte.
Update, 27.05.2020 14:30 Uhr: Das Update könnte sogar noch heute veröffentlicht werden. Der 27. Mai wird aktuell zumindest auf einer Support-Seite von Microsoft Deutschland als Release-Termin benannt. (via @Antares268)