Processed: Re: Bug#406795: [Pkg-xfce-devel] Bug#406795: use same font for xfce4-terminal when using xfce as when using gnome

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reopen 406795
Bug#406795: use same font for xfce4-terminal when using xfce as when using gnome
Bug reopened, originator not changed.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)