I have committed your patch, thanks. Martijn, could you please port from the email address that you are subscribed with (so I don't have to approve your messages)?
Thanks
Stefan
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
