Processed: Re: Bug#1029707: Maybe set DejaVu Sans Mono as default font for Arabic

[Debian Bug Tracking System]

Processing control commands:

> tags -1 - moreinfo
Bug #1029707 [src:gnome-terminal] Maybe set DejaVu Sans Mono as default font for Arabic
Removed tag(s) moreinfo.

-- 
1029707: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1029707
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems