From: Till Tantau <tantau at tcs.uni-luebeck.de> Date: Mon, 9 Jan 2006 18:15:01 +0100
Hi! this is a bug in version 3.06 that has been fixed in the CVS. This will work once more in version 3.07. Hoping this helps, Till -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
