#614317 bugs.debian.org: bugs assigned to multiple packages should be considered fixed if fixed in one package