Skip to content
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

kern: Remove duplicate header include #589

Closed
wants to merge 2 commits into from

Conversation

jlduran
Copy link
Contributor

@jlduran jlduran commented Mar 11, 2022

No description provided.

@jlduran jlduran force-pushed the remove-duplicate-header-include branch from 8f21845 to 3b3d518 Compare March 11, 2022 01:53
@bsdimp
Copy link
Member

bsdimp commented Jan 30, 2023

Landed as df949e7.... since we're sorting the include files anyway, I removed the duplicate at the same time.

@bsdimp bsdimp closed this Jan 30, 2023
@jlduran jlduran deleted the remove-duplicate-header-include branch January 30, 2023 17:52
hardenedbsd-services pushed a commit to HardenedBSD/hardenedBSD that referenced this pull request Jan 30, 2023
Sort include files, remove duplicates and remove trailing whitespce.

Pull Request:	freebsd#589
Reviewed by:	imp
bsdjhb pushed a commit to bsdjhb/cheribsd that referenced this pull request Mar 18, 2023
Sort include files, remove duplicates and remove trailing whitespce.

Pull Request:	freebsd/freebsd-src#589
Reviewed by:	imp
@emaste emaste added the merged label Jun 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
3 participants