Processed: merging 689942 760119
Processing commands for control@bugs.debian.org:
> merge 689942 760119
Bug #689942 [initramfs-tools] initramfs-tools: mkinitramfs reports a problem about /dev/disk/by-uuid
Bug #689942 [initramfs-tools] initramfs-tools: mkinitramfs reports a problem about /dev/disk/by-uuid
Marked as found in versions initramfs-tools/0.116.
Bug #760119 [initramfs-tools] /dev/disk/by-uuid: Is a directory
Marked as found in versions initramfs-tools/0.108.
Merged 689942 760119
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
689942: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=689942
760119: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=760119
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: