Hmm... I now see that precisely the update I mentioned did fail with respect to gnome-help.
https://packages.ubuntu.com/trusty-updates/all/language-pack-gnome-es-base/filelist
This needs to be investigated further. Thanks again!
Hmm... I now see that precisely the update I mentioned did fail with respect to gnome-help.
https:/ /packages. ubuntu. com/trusty- updates/ all/language- pack-gnome- es-base/ filelist
This needs to be investigated further. Thanks again!