Hi Christian, > closes: 18289
There is no `#` before the PR number, so it appears that it is not linked to a PR and has not been closed. -- Best regards, Hirohito Higashi (h_east) -- -- 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 visit https://groups.google.com/d/msgid/vim_dev/04f5f1f5-9e12-4359-97e3-5c4208cb1d40n%40googlegroups.com.
