Processed: Please
Processing commands for control@bugs.debian.org:
> tags 46709 +upstream
Bug#46709: Mach lets processes write to I/O ports
Tags were: sid security
Tags added: upstream
> forwarded 46709 http://savannah.gnu.org/bugs/?func=detailitem&item_id=15295
Bug#46709: Mach lets processes write to I/O ports
Noted your statement that Bug has been forwarded to http://savannah.gnu.org/bugs/?func=detailitem&item_id=15295.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: