Hi, Gürkan Sengün <[email protected]> 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

