Processing commands for cont...@bugs.debian.org: > merge 876866 902870 Bug #876866 [installation-reports] installation-report: no boot from USB upon removing installation memory-key Bug #876866 [installation-reports] installation-report: no boot from USB upon removing installation memory-key There is no source info for the package 'installation-reports' at version '2.63' with architecture '' Unable to make a source version for version '2.63' There is no source info for the package 'installation-reports' at version '2.68' with architecture '' Unable to make a source version for version '2.68' Marked as found in versions 2.68. Bug #902870 [installation-reports] installation-report: DI grub-install should use UUIDs instead of plain disk-device-names There is no source info for the package 'installation-reports' at version '2.63' with architecture '' Unable to make a source version for version '2.63' There is no source info for the package 'installation-reports' at version '2.68' with architecture '' Unable to make a source version for version '2.68' Marked as found in versions 2.63. Merged 876866 902870 > End of message, stopping processing here.
Please contact me if you need assistance. -- 876866: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=876866 902870: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902870 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
