Dat zou ik nog kunnen proberen inderdaad, al lijkt bij het handmatig binnenhalen van de updates (zowel via de grafische Software Updater als apt-get in de terminal) nooit een probleem met de server te zijn. Laatst kreeg ik de updates wel weer automatisch aangeboden opeens. Gister was er nog een update van de Software Updater zelf
Misschien dat dat verbetering brengt.
