@srghma pushed 1 commit. 148c26b2a5d15c7809627ff0ddb1b06e185f11a7 runtime: idris -> comment
-- View it on GitHub: https://github.com/vim/vim/pull/15993/files/48be11ac66b7ebf62944dba6bd7fdf1c3ee56649..148c26b2a5d15c7809627ff0ddb1b06e185f11a7 You are receiving this because you are subscribed to this thread. Message ID: <vim/vim/pull/15993/before/48be11ac66b7ebf62944dba6bd7fdf1c3ee56649/after/[email protected]> -- -- 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/vim/vim/pull/15993/before/48be11ac66b7ebf62944dba6bd7fdf1c3ee56649/after/148c26b2a5d15c7809627ff0ddb1b06e185f11a7%40github.com.
