Christian Biere Thu, 09 Nov 2006 22:53:05 -0800
This is supposed to be fixed in a portable manner in 0.96.3 now. -- Christian
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
