I just resent the updated file to Bram.

Cheers
Ajit

On Sun, Jan 26, 2020 at 2:53 AM Scott Lawrence <[email protected]>
wrote:

> Checking [vim-dev], I see that the maintainer has sent a fix for the issue
> (off-list) to Bram. The fix doesn't appear to be in this repo yet. Is the
> fix available publicly, anywhere?
>
> (@chrisbra <https://github.com/chrisbra>'s suggestion of just replacing
> <15= with 15<= and <11= with 11<= seems to work, but I really don't know.
> At least it gets rid of the error messages.)
>
> —
> You are receiving this because you are subscribed to this thread.
> Reply to this email directly, view it on GitHub
> <https://github.com/vim/vim/issues/5350?email_source=notifications&email_token=ACY5DGELXPFQARVKNU4HKODQ7UXOVA5CNFSM4JZ7DQK2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEJ5M57Y#issuecomment-578473727>,
> or unsubscribe
> <https://github.com/notifications/unsubscribe-auth/ACY5DGGAHCPQUAKCPMBFKC3Q7UXOVANCNFSM4JZ7DQKQ>
> .
>
> --
> --
> 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 a topic in the
> Google Groups "vim_dev" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/d/topic/vim_dev/mRTWthLMyvA/unsubscribe.
> To unsubscribe from this group and all its topics, send an email to
> [email protected].
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/vim_dev/vim/vim/issues/5350/578473727%40github.com
> <https://groups.google.com/d/msgid/vim_dev/vim/vim/issues/5350/578473727%40github.com?utm_medium=email&utm_source=footer>
> .
>

-- 
-- 
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/CADy_MMWoEp84k-GeQ-7UEi_GEyYJw4MDiDQZ__Rr61A5eSGJXA%40mail.gmail.com.

Raspunde prin e-mail lui