[Pkg-systemd-maintainers] Processed: Re: Bug#725422: marked as done (systemd set kernel.sysrq=16)

[Debian Bug Tracking System]

Processing control commands:

> tags -1 + pending
Bug #725422 [systemd] systemd set kernel.sysrq=16
Ignoring request to alter tags of bug #725422 to the same tags previously set

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