Skip to content

remove redundant include#845

Merged
djowel merged 1 commit intoboostorg:developfrom
ILer32:fix/844-remove-redundant-include
Jan 16, 2026
Merged

remove redundant include#845
djowel merged 1 commit intoboostorg:developfrom
ILer32:fix/844-remove-redundant-include

Conversation

@ILer32
Copy link
Contributor

@ILer32 ILer32 commented Jan 16, 2026

The change is to address #844.

@djowel djowel merged commit 0992b15 into boostorg:develop Jan 16, 2026
14 of 15 checks passed
@ILer32 ILer32 deleted the fix/844-remove-redundant-include branch January 16, 2026 01:18
@djowel
Copy link
Collaborator

djowel commented Jan 16, 2026

Thank you!

@ILer32
Copy link
Contributor Author

ILer32 commented Jan 16, 2026

My pleasure.

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.

2 participants