Closed adamnemecek closed 6 years ago
Hey, thanks... first time ever having a contributor, I'm learning what the protocol is! Should I leave this pull request open or do I consider it that you're done with it and I should merge it if it's good?
It's generally up to you lol.
I figured it out... :) Thanks for cleaning things up.
Hey, thanks... first time ever having a contributor, I'm learning what the protocol is! Should I leave this pull request open or do I consider it that you're done with it and I should merge it if it's good?