[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 {Done: Ben Hutchings <ben at decadent.org.uk>} [systemd] systemd set kernel.sysrq=16
Bug reopened
Ignoring request to alter fixed versions of bug #725422 to the same values 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