I tried the update via the new plugin provider (which is added via Tools -> Plugins -> Settings tab. My Plugins menu is empty).
Unfortunately the bug is still there.
I tried the update via the new plugin provider (which is added via Tools -> Plugins -> Settings tab. My Plugins menu is empty).
Unfortunately the bug is still there.