Processed: your mail

Thu Jun 18 12:51:09 UTC 2015

Processing commands for control at bugs.debian.org:

> found 752871 3.14.13-1
Bug #752871 [src:gtk+3.0] GTK+3 apps ignore bold and italic font settings
Marked as found in versions gtk+3.0/3.14.13-1.
> tags 752871 stretch
Bug #752871 [src:gtk+3.0] GTK+3 apps ignore bold and italic font settings
Added tag(s) stretch.
>
End of message, stopping processing here.

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