Forgot to say that I have committed the patch. Probably
I'll improve it further, but it's quite usable right
now.


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to