On 29 May 2012 20:25, Michael Prokop <[email protected]> wrote:

> This fix doesn't work.

You are quite right, I don't know what I was thinking there. That
would only work if I eval'ed the command. I will fix it the way you
propose, thanks.

Javier



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

Reply via email to