Processed: Re: onboard: please ship gnome shell extension

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 825807 + pending
Bug #825807 [onboard] onboard: please ship gnome shell extension
Added tag(s) pending.
>
End of message, 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