On 11/17/23 06:50, Christian Brabandt wrote: > Thanks both. I have created the following PR to address this > and another issue reported by Coverity: > https://github.com/vim/vim/pull/13539 > > I think it should work as expected now, but please verify.
It looks correct to me. Thanks for the rapid response! You've really been putting in the time lately. Bram left some big shoes to fill, and I appreciate how hard you have been working for the Vim community. Michael Henry -- -- 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/16fed3c5-33ca-458c-b69f-bdca86f33dcd%40drmikehenry.com.
