Processed: Filed upstream

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

Processing commands for control@bugs.debian.org:

> tags 313560 +upstream
Bug#313560: /dev/{null,zero,full} should not be run as root
There were no tags set.
Tags added: upstream

> forwarded 313560 http://savannah.gnu.org/bugs/?func=detailitem&item_id=13398
Bug#313560: /dev/{null,zero,full} should not be run as root
Noted your statement that Bug has been forwarded to http://savannah.gnu.org/bugs/?func=detailitem&item_id=13398.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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