refreshing updates in update-manager first reported connectivity problems, on second try it led to crash. apt-get update && apt-get upgrade worked
refreshing updates in update-manager first reported connectivity problems, on second try it led to crash. apt-get update && apt-get upgrade worked