Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
[Build] Remove unnecessary BOOST dependency #605
When build with
This PR removes this dependency, because, as we all know, with each BOOST-dependency somewhere a Unicorn dies...