Processed: please

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

Processing commands for control@bugs.debian.org:

> tags 184624 +upstream
Bug#184624: reboots unexpectedly after panic
There were no tags set.
Tags added: upstream

> forwarded 184624 https://savannah.gnu.org/bugs/index.php?func=detailitem&item_id=15301
Bug#184624: reboots unexpectedly after panic
Noted your statement that Bug has been forwarded to https://savannah.gnu.org/bugs/index.php?func=detailitem&item_id=15301.

> retitle 184624 Please fix -H init option for preventing gnumach from automatically rebooting on panic
Bug#184624: reboots unexpectedly after panic
Changed Bug title.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)