Processed: your mail

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 784867 jessie
Bug #784867 [src:mate-media] mate-media-pulse: Impossible to change sound effects settings
Added tag(s) jessie.
> tags 803271 moreinfo
Bug #803271 [caja] caja crashes when I try to delete network file
Added tag(s) moreinfo.
> tags 825930 moreinfo
Bug #825930 [marco] Marco crashes when switching windows with composition and thumbnails enabled
Added tag(s) moreinfo.
> tags 826619 stretch sid
Bug #826619 [pluma] pluma: Pluma - external tools missing
Added tag(s) sid and stretch.
>
End of message, stopping processing here.

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