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
Fix include whitespace #72
So it's a bit more complicated than expected:
Removing from 0.5 milestone, seems like a pain to fix and probably not worth it. If anyone has a good idea on that, please send a PR!