No matches were found for subject:"\[Bug 1241360\] \[NEW\] dist upgrade from 13.04 to 13.10 failed"