Skip to content

chore: Remove unused C++ headers #7105

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 5 commits into from
Feb 22, 2025

Conversation

kinkard
Copy link
Contributor

@kinkard kinkard commented Feb 6, 2025

Issue

This PR removes unused C++ headers. There is no direct value from that aside small build time speed up

Please read our documentation on release and version management.
If your PR is still work in progress please attach the relevant label.

Tasklist

Requirements / Relations

Link any requirements here. Other pull requests this PR is based on?

@kinkard kinkard force-pushed the remove-unused-headers branch from b6847a1 to 65b2871 Compare February 6, 2025 14:55
@kinkard kinkard requested a review from jcoupey February 6, 2025 20:14
@kinkard kinkard force-pushed the remove-unused-headers branch from f76d8de to 983780c Compare February 7, 2025 14:59
@kinkard kinkard force-pushed the remove-unused-headers branch from 98dd617 to b321a9b Compare February 21, 2025 11:58
@kinkard kinkard force-pushed the remove-unused-headers branch from b321a9b to 0fb507c Compare February 21, 2025 12:09
@DennisOSRM DennisOSRM merged commit 2d5d130 into Project-OSRM:master Feb 22, 2025
21 checks passed
eliseier pushed a commit to wanderlog/osrm-backend that referenced this pull request Mar 25, 2025
* chore: Remove unused std and boost headers

fix

* docs: Update changelog

* fix: gcc 13 compilation

* fix: gcc 12 compilation

---------

Co-authored-by: Dennis Luxen <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants