> I wasn't trying to imply that you shouldn't push to master, sorry if you got that feeling. It was more of an observation that part of the pull request had already been merged in.
Oh no worries :) I didn't take it as criticism... I misused a pull request on github for starting a discussion, rather than the mailing list, since I like how close it is to the code. So I was pretty much expecting that question... sorry if my response earlier seemed short and blunt. I do that sometimes, but more out of laziness than anything else ;)
_______________________________________________ http://openpgpjs.org
