[Pkg-sysvinit-devel] Processed: merge

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 339023 normal
Bug#339023: initscripts: umountroot fails if / is bind-mounted somewhere
Severity set to `normal'.

> severity 338801 normal
Bug#338801: umountfs: should use /proc/mounts
Severity set to `normal'.

> tags 338801 - patch
Bug#338801: umountfs: should use /proc/mounts
Tags were: patch
Tags removed: patch

> merge 338801 339023
Bug#338801: umountfs: should use /proc/mounts
Bug#339023: initscripts: umountroot fails if / is bind-mounted somewhere
Merged 338801 339023.

> stop
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)