Try posting your change here. Redirecting to Google Groups
You should clone, do the change and issue a pull request. Follow that and I think you will get better attention. Your change is very small so that should not be a problem. Cheers!
Try posting your change here. Redirecting to Google Groups
You should clone, do the change and issue a pull request. Follow that and I think you will get better attention. Your change is very small so that should not be a problem. Cheers!