Processing commands for cont...@bugs.debian.org:

> reassign 815175 src:schroot
Bug #815175 [schroot] schroot fails to unmount chroot on failure in setup.d 
scripts
Bug reassigned from package 'schroot' to 'src:schroot'.
Ignoring request to alter found versions of bug #815175 to the same values 
previously set
Ignoring request to alter fixed versions of bug #815175 to the same values 
previously set
> severity 816326 normal
Bug #816326 [src:schroot] schroot: don't fail on 15binfmt with a missing /bin/sh
Severity set to 'normal' from 'minor'
> forcemerge 816326 815175
Bug #816326 [src:schroot] schroot: don't fail on 15binfmt with a missing /bin/sh
Bug #815175 [src:schroot] schroot fails to unmount chroot on failure in setup.d 
scripts
Marked as found in versions schroot/1.6.10-2.
Added tag(s) patch.
Merged 815175 816326
> stop
Stopping processing here.

Please contact me if you need assistance.
-- 
815175: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815175
816326: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=816326
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Reply via email to