Dears,
thank you both for all your time invested and great insights.
After your last e-mails I had tried in vain to upgrade to the new "gnome
icon" stuff which are "proposed". Funny enough when today I was just
about to give up, I did run a final command "sudo apt-get clean && sudo
apt-get
On Thu, 30 May 2019 at 16:30, Thomas Stadtmüller
wrote:
>
> Still quite worrisome, that I seem to be a single person in the Ubuntu
> universe who did complain about falling into this "upgrade trap". And only
> weeks later and with your help I am now slowly getting out there.
I think the reason
