Processed: Re: Bug#378469: [Buildd-tools-devel] Bug#378469: backgrounded schroot processes do not terminate

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reopen 378469
Bug#378469: backgrounded schroot processes do not terminate
'reopen' is deprecated when a bug has been closed with a version;
use 'found' or 'submitter' as appropriate instead.
Bug reopened, originator not changed.

> found 378469 0.99.3-1
Bug#378469: backgrounded schroot processes do not terminate
Bug marked as found in version 0.99.3-1.

> tags 378469 + confirmed patch fixed-upstream pending
Bug#378469: backgrounded schroot processes do not terminate
There were no tags set.
Tags added: confirmed, patch, fixed-upstream, pending

> thanks
Stopping processing here.

Please contact me if you need assistance.

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