On Fri, 28 Oct 2011 22:41:07 -0700 Matthew Brush mbrush@codebrainz.ca wrote:
Anyway, just a thought to make things more consistent and less redundant. It seems like while converting and moving to Git would be an ideal time to do this. Feel free to +1, -1, comment or ignore.
I don't have any strong opinion about that, but would prefer to don't push any author to rename its plugin as its up to him.
Cheers, Frank