This PR was a mess, my previous PR from years ago was from master and that just screwed everything up for this one. I hope that doesn't make merging this any more complicated than it should be. I don't think it will but I've not exactly had this problem before.
Fix for issue #1515 .
This PR was a mess, my previous PR from years ago was from master and that just screwed everything up for this one. I hope that doesn't make merging this any more complicated than it should be. I don't think it will but I've not exactly had this problem before.
I still think that boost is a good idea tho.