Github user sandecho commented on the issue:
    As a first time contributor and a novice on it, I would submit the final 
patch and leave it up to you. You can merge it or leave it. I will close the 
pull request after that, whether patch is accepted or not.


To unsubscribe, e-mail:
For additional commands, e-mail:

Reply via email to