Hi, Gürkan Sengün <gur...@phys.ethz.ch> writes: > Should this bug be closed then?
I don't know. If you are confident that terminal.app now handles missing fonts then sure :-) -Timo -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
