IRC discussions settled that this ubuntu-release-upgrader change is not needed in the light of the changes needed in comment #7 to fix those already affected.
IRC discussions settled that this ubuntu- release- upgrader change is not needed in the light of the changes needed in comment #7 to fix those already affected.