hey muvik,
danke für deine schnelle Antwort
Ich habe das Problem jetzt bei mir entdeckt. Einerseits habe ich das in dem Thread beschriebene Problem (kann also mein Repository ohne Fehlermeldung nicht aktualisieren), andererseits fehlte bei mir noch die aktivierte Option "Enable unsupported extensions" unter settings...
Trotzdem "danke"
so long