On 10/18/2016 08:27 AM, Brad King wrote: > On 10/17/2016 04:45 PM, Bram Moolenaar wrote: >> Thanks. I suppose that's the best way to do it. > > Great. Here is a revised patch.
Ping. Thanks, -Brad -- -- 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 vim_dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.