Processing commands for control@bugs.debian.org: > severity 704931 normal Bug #704931 [src:debian-installer-utils] chroot_cleanup should not unmount /proc Ignoring request to change severity of Bug 704931 to the same value. > thanks Stopping processing here. Please contact me if you need assistance. -- 704931: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=704931 Debian Bug Tracking System Contact owner@bugs.debian.org with problems