No matches were found for subject:"\[Bug 1242814\] \[NEW\] 13.04 to 13.10 dist upgrade fails with do\-dist\-upgrade crash"