No matches were found for subject:"Bug#717978\: marked as done \(openmpi\-doc\: fails to upgrade from 'sid' \- trying to overwrite \/usr\/share\/man\/man7\/orte_snapc.7.gz\)"