Processed (with 1 errors): ia64, Iceweasel-17, JS needs ptrs have their high 17 bits cleared

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 719802 ia64, Iceweasel-17, JS needs ptrs have their high 17
Bug #719802 [iceweasel] [ia64] Iceweasel ESR 17 crashes at startup
Changed Bug title to 'ia64, Iceweasel-17, JS needs ptrs have their high 17' from '[ia64] Iceweasel ESR 17 crashes at startup'
> bits cleared
Unknown command or malformed arguments to command.
> reassign 719802 src:iceweasel
Bug #719802 [iceweasel] ia64, Iceweasel-17, JS needs ptrs have their high 17
Bug reassigned from package 'iceweasel' to 'src:iceweasel'.
No longer marked as found in versions iceweasel/17.0.8esr-2.
Ignoring request to alter fixed versions of bug #719802 to the same values previously set
> severity 719802 grave
Bug #719802 [src:iceweasel] ia64, Iceweasel-17, JS needs ptrs have their high 17
Severity set to 'grave' from 'normal'
> tags 719802 + patch
Bug #719802 [src:iceweasel] ia64, Iceweasel-17, JS needs ptrs have their high 17
Added tag(s) patch.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
719802: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=719802
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems