Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Speed optimizations #18
This PR does two speed optimizations:
The improvement is rather drastic:
The behavior is almost the same except for the leading space in timestamps.
Also this branch is based off of the travis branch. I can rebase onto master if that's better.