Unfortunately I have switched to Debian 10 meanwhile, so I cannot test the bugfix. Nevertheless thank you for your efforts. I will certainly return to Ubuntu in the future.
Unfortunately I have switched to Debian 10 meanwhile, so I cannot test the bugfix. Nevertheless thank you for your efforts. I will certainly return to Ubuntu in the future.