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]

Reply via email to