On Di, 29 Dez 2020, '[email protected]' via vim_dev wrote:
> Thanks for looking into this! > Although this is a work-around, it helps... I proposed some changes here: https://github.com/vim/vim/pull/7572 Best, Christian -- Als ich geboren wurde, war ich noch sehr jung. -- Heinz Erhardt -- -- 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/20201229193933.GF7513%40256bit.org.
