On Wed, Sep 18, 2013 at 09:23:29AM -0400, David Fishburn wrote:
> On Tue, Sep 17, 2013 at 8:33 PM, Duncan de Wet <[email protected]>wrote:
> 
> > ...
> >
> 
> 
> > >
> > > Is this not the right place to contact the maintainer of that file?
> > >
> > > | Duncan de Wet
> >
> > Never mind, I have found the Github page for that filetype so have done a
> > pull
> > request there.
> >
> 
> Typically the Vim files have contact information at the top of them.
> That is the way the maintainer should be contacted, not everyone subscribes
> to vim_use or vim_dev.
> 
> I have seen my plugins on github and I have no idea how they get there.
> So, if you did a "pull request" on github for any of my plugins, that would
> certainly not make it to me.

(Sorry for the previous empty email, I'm still trying to figure out mutt.

In this case the github URL I did find from the file, so I know it was the file
maintainer's repository.

He did accept my pull request so the fix to this bug will get to vim soon I
guess.

> 
> HTH,
> David
> 
> -- 
> -- 
> 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 a topic in the Google 
> Groups "vim_dev" group.
> To unsubscribe from this topic, visit 
> https://groups.google.com/d/topic/vim_dev/Q_KGrMevqW0/unsubscribe.
> To unsubscribe from this group and all its topics, send an email to 
> [email protected].
> For more options, visit https://groups.google.com/groups/opt_out.

-- 
-- 
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/groups/opt_out.

Raspunde prin e-mail lui