Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
We used to include `.` and `include/`, but the former is no longer necessary and the latter has to have the highest priority to avoid that installed headers take higher precedence, leading to a build employing outdated headers.
- Loading branch information