Processed: Re: Bug#704931: chroot_cleanup should not unmount /proc

To: Cyril Brulebois <kibi@debian.org>
Cc: debian-boot@lists.debian.org
Subject: Processed: Re: Bug#704931: chroot_cleanup should not unmount /proc
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 07 Apr 2013 21:00:10 +0000
Message-id: <handler.s.B704931.136536824331480.transcript@bugs.debian.org>
References: <20130407205720.GK13935@mraw.org> <20130407203506.GA27993@fishbowl.rw.madduck.net>

Processing control commands:

> severity -1 normal
Bug #704931 [src:debian-installer-utils] chroot_cleanup should not unmount /proc
Severity set to 'normal' from 'serious'

-- 
704931: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=704931
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#704931: chroot_cleanup should not unmount /proc
  - From: Cyril Brulebois <kibi@debian.org>
- Bug#704931: chroot_cleanup should not unmount /proc
  - From: martin f krafft <madduck@debian.org>

Prev by Date: Bug#704931: chroot_cleanup should not unmount /proc
Next by Date: Processed: severity of 704931 is normal
Previous by thread: Bug#704931: chroot_cleanup should not unmount /proc
Next by thread: Processed: severity of 704931 is normal
Index(es):
- Date
- Thread