Michael - looking at all the duplicates of this bug report a couple of them make reference to using settings in update-manager to change servers and then encountering the crash.
Michael - looking at all the duplicates of this bug report a couple of them make reference to using settings in update-manager to change servers and then encountering the crash.