I've been sending mail to the wrong address. Too little coffee or too little sleep. Going to bed now, I'll check later today if you two have got the problem ironed out.
Best regards, Tony. -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/vim_dev/CAJkCKXvKa9O3oyuOvvXvKeK%2BikW_FY-Vhi5WOMS8FXHLLrGnOA%40mail.gmail.com.
