Hmm... I replied via vim_dev, got a spam in return, and visited GitHub to make sure my message was sent.
Now I'm stunned at the fact that the title was changed, the contents was changed, and there was a message which was not delivered to my mailbox. What the hell social coding (lol) 2016-05-09 13:06 GMT+09:00 Brenton Horne <[email protected]>: > @vim-ml <https://github.com/vim-ml> I'm afraid I don't know how to get > the configuration settings you're referring to (I'm more an end-user than a > developer) so I'll give you the best I can think of, the configure and make > command used by my gvim PKGBUILD: > > ./configure \ > --enable-fail-if-missing \ > --with-compiledby='Arch Linux AUR' \ > --prefix=/usr \ > --enable-gui=gtk2 \ > --with-features=huge \ > --enable-cscope \ > --enable-multibyte \ > --enable-perlinterp=dynamic \ > --enable-pythoninterp=dynamic \ > --enable-python3interp=dynamic \ > --enable-rubyinterp=dynamic \ > --enable-luainterp=dynamic > make > > — > You are receiving this because you were mentioned. > Reply to this email directly or view it on GitHub > <https://github.com/vim/vim/issues/790#issuecomment-217772102> > > -- > -- > 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]. > For more options, visit https://groups.google.com/d/optout. > -- -- 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]. For more options, visit https://groups.google.com/d/optout.
