Sicher dass bis 13 Uhr gepatched wird?
Normalerweise dauert das Patchen nur bis 11 bzw. 12 Uhr

Aber ja, das Patchen wird definitiv nicht frühzeitig beendet.