merge pull req?
pdelong42 opened this issue · comments
Hi Micah,
Since I'm a contributor now (thanks, btw), can I merge that pull-request? It's just one file, with no name collision, so it ought not to cause any issues.
- Paul
The PR went through the cracks.. I just merged it in. Thanks for that :)