Processed: Bug#825807 marked as pending

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tag 825807 pending
Bug #825807 [onboard] onboard: please ship gnome shell extension
Ignoring request to alter tags of bug #825807 to the same tags previously set
> thanks
Stopping processing here.

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