Skip to content

Conversation

@hydra
Copy link
Contributor

@hydra hydra commented Dec 30, 2012

The diff also includes whitespace cleanups performed by my editor.

@tdicola tdicola closed this in a45e9a6 Jul 22, 2014
@tdicola
Copy link
Contributor

tdicola commented Jul 22, 2014

Thanks for submitting the fix, and again sorry it wasn't reviewed sooner. I couldn't do a direct merge because of some other fixes integrated in, but I pulled out the new function and added it in a separate commit. Thanks again for sending the pull!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants