Processing commands for cont...@bugs.debian.org: > retitle 801071 Please remove minirok from the archive Bug #801071 [minirok] Should this package be removed? Changed Bug title to 'Please remove minirok from the archive' from 'Should this package be removed?' > reassign 801071 ftp.debian.org Bug #801071 [minirok] Please remove minirok from the archive Bug reassigned from package 'minirok' to 'ftp.debian.org'. Ignoring request to alter found versions of bug #801071 to the same values previously set Ignoring request to alter fixed versions of bug #801071 to the same values previously set > stop Stopping processing here.
Please contact me if you need assistance. -- 801071: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=801071 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
