Processed: gnuzilla add-on repository

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 522331 refer to gnuzilla add-on repository?
Bug #522331 [iceweasel] iceweasel supports non-free plugins
Changed Bug title to 'refer to gnuzilla add-on repository?' from 'iceweasel supports non-free plugins'
> tags 522331 patch
Bug #522331 [iceweasel] refer to gnuzilla add-on repository?
Added tag(s) patch.
> thanks
Stopping processing here.

Please contact me if you need assistance.

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