10 Oct
2019
10 Oct
'19
8:20 a.m.
I couldn't fix it until now, but seems I'm on the right way.
Probably I'll ditch the Ubuntu packages and reinstall it from Github, since the issue is already solved there.
Thank you very much for your help.
Ruben