Thanks for your bugreport.
Is this problem reproducible for you? Does it help if you run (in a terminal): $ sudo apt-get update and then try to open the file?
Thanks, Michael
Thanks for your bugreport.
Is this problem reproducible for you? Does it help if you run (in a terminal):
$ sudo apt-get update
and then try to open the file?
Thanks,
Michael