Processed: Re: strange error from make_disc_trees.pl

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> tag 413506 + patch pending
Bug#413506: strange error from make_disc_trees.pl
There were no tags set.
Tags added: patch, pending

> severity 413506 serious
Bug#413506: strange error from make_disc_trees.pl
Severity set to `serious' from `grave'

> thanks
Stopping processing here.

Please contact me if you need assistance.

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