Recovered from problem by "sudo apt-get update". For my purposes, this can be closed. However, it might be worthwhile to fix the problem by suggesting that solution to the victim.
Recovered from problem by "sudo apt-get update". For my purposes, this can be closed. However, it might be worthwhile to fix the problem by suggesting that solution to the victim.