*** This bug is a duplicate of bug 1292335 ***
https://bugs.launchpad.net/bugs/1292335
** This bug is no longer a duplicate of bug 1540017
do-release-upgrade crashed with AttributeError in run():
'apt_pkg.PackageManager' object has no attribute 'ResultFailed'
** This bug has been marked a
*** This bug is a duplicate of bug 1540017 ***
https://bugs.launchpad.net/bugs/1540017
Thank you for taking the time to report this crash and helping to make
this software better. This particular crash has already been reported
and is a duplicate of bug #1540017, so is being marked as such.