It’s happening.. Upgrade auf 11/2019.70 wird mir angeboten. Stand aktuell: 07/2019.39. habe ich gar nicht mehr mit gerechnet.
jetzt muss ich nur mein MacBook wieder mit Windows versorgen zwecks Setzen der Codiereinstellungen, die wohl verloren gehen.