Hi,
ich würde einen Snapshot einspielen und dann direkt auf die 1.13 springen. Ich meine, dass es auch einen Bug beim Update von der 1.12.2 auf die 1.12.3 gab, bei dem man das Paket manuell herunterladen und einspielen musste. Letztendlich fühlt sich ein solches System "korrumpiert" an, wenn man mal beim Update Fehlermeldungen hatte. Spätestens wenn man später auf einen Fehler trifft und sich fragt, ob das was damit zu tun haben könnte. Dann lieber einen Schritt zurück und wieder drei Vorwärts. 😄
Liebe Grüße
Christian