Even though this 'bug' is related to repos which aren't maintained or hosted etc by Ubuntu, it seems to have affect a few people. I suggest that this be re-opened and a work-around built in to update-manager (if this is possible, I don't know) that would change the /etc/apt/sources.list so that it would work with the update.
Not sure if it would work or not, but seeing as this has affected a few people it seems to me that something might need to be done.
Hi, me again.
Even though this 'bug' is related to repos which aren't maintained or hosted etc by Ubuntu, it seems to have affect a few people. I suggest that this be re-opened and a work-around built in to update-manager (if this is possible, I don't know) that would change the /etc/apt/ sources. list so that it would work with the update.
Not sure if it would work or not, but seeing as this has affected a few people it seems to me that something might need to be done.