Processed: your mail

Debian Bug Tracking System owner at
Mon Jun 13 09:18:15 UTC 2016

Processing commands for control at

> 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.
Debian Bug Tracking System
Contact owner at with problems

More information about the pkg-mate-team mailing list