Processed (with 1 errors): Re: Bug#581013: [debmirror] debmirror ignore the section 'debian-installer' for the distribution '.*-proposed-updates'

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

Processing control commands:

> tags -1 + moreinfo
Bug #581013 [debmirror] [debmirror] debmirror ignore the section 'debian-installer' for the distribution '.*-proposed-updates'
Added tag(s) moreinfo.
> stop
Unknown command or malformed arguments to command.


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