Paul Isambert wrote: > Nikolay Pavlov <[email protected]> a écrit: > > vim-use is not a proper place to ask such question. I forwarded your > > message to vim-dev. Please discuss nothing here. > > The division of labour is not so airtight, Nikolay. I have posted on > this list, and will continue to post, about things that seem strange > to me, just as various bugs, possible improvements and other > “develish” things have been discussed here. If what I’ve found is > indeed a bug, I will report it as required; in the meanwhile, we’re > discussing Vim stuff and this is a very proper place indeed. Posting > to vim-dev only would make sense if my message had absolutely no > relevance to the average Vim user; being an average Vim user myself > (and consequently not subscribed to vim-dev), this here list is the > most natural choice.
It's very common that someone reports a bug, sends a message to vim-dev, and it turns out the user didn't read the documentation properly (since there is so much of it). Or someone asks a question on vim-use about how to make something work, and it turns out to be a bug. Most wasteful is having discussions about what should be posted where. Just use common sense and be forgiving. -- Eye have a spelling checker, it came with my PC; It plainly marks four my revue mistakes I cannot sea. I've run this poem threw it, I'm sure your please to no, It's letter perfect in it's weigh, my checker tolled me sew! /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- You received this message from the "vim_use" 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_use" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
