Hi,
since two days Update #12 is out but not executed. This Update refers to Ubuntu 16.04, I use Ubuntu 16.04.4.
I wonder about the deeper sense of this update because Ubuntu 18.04 support is added, but in real there is no upgrade possibility and it's recommended to wait until July/August.
For...