Hi Jörg, > PS: IMHO the bug report could be closed, or at least someone should add > a comment that that issue is solved in CVS...
Thats done now, the bug has been marked as fixed. -John K -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
