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

[Debian Bug Tracking System]

Processing control commands:

> reopen -1
Bug #725422 [systemd] systemd set kernel.sysrq=16
Bug 725422 is not marked as done; doing nothing.

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