...
[11:55:33 CDT(-0500)] <b-rock> I don't have anything to submit at the moment, but I'm sure I will eventually.
[11:55:58 CDT(-0500)] <EricDalquist> either way is fine
[11:56:12 CDT(-0500)] <EricDalquist> doing a pull request through github will get your fix in the fastest though
[11:56:27 CDT(-0500)] <EricDalquist> since then someone can review the diff and merge it in the github UI
[11:56:36 CDT(-0500)] <EricDalquist> which makes it REALLY fast and easy
[11:56:43 CDT(-0500)] <b-rock> ok great. I have been trying it but haven't done a pull request yet.