Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Provide two missing includes. #92
This pull request simply adds two missing headers that become relevant when using a different include path through
Below an exemplary error message, which this fix eradicates.