Thanks to visit codestin.com
Credit goes to github.com

Skip to content
This repository was archived by the owner on Jul 4, 2025. It is now read-only.

chore: remove unused header #2045

Merged
merged 3 commits into from
Mar 4, 2025
Merged

chore: remove unused header #2045

merged 3 commits into from
Mar 4, 2025

Conversation

github-roushan
Copy link
Contributor

@github-roushan github-roushan commented Feb 27, 2025 •
edited
Loading

Describe Your Changes

  • This removes the header that is not used in the translation unit which increases compilation speed

Fixes Issues

  • Closes #
  • Closes #

Self Checklist

  • Added relevant comments, esp in complex areas
  • Updated docs (for bug fixes / features)
  • Created issues for follow-up changes or refactoring needed

@github-roushan github-roushan changed the title chore: remove unused header Remove unused header Feb 28, 2025
@vansangpfiev vansangpfiev changed the title Remove unused header chore: remove unused header Mar 4, 2025
@vansangpfiev vansangpfiev merged commit c9a35d0 into menloresearch:dev Mar 4, 2025
8 checks passed
@github-roushan github-roushan deleted the patch-3 branch March 4, 2025 07:15
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@vansangpfiev vansangpfiev vansangpfiev approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@github-roushan @vansangpfiev