Skip to content

Fix mistakes#30

Merged
pdimov merged 2 commits intoboostorg:developfrom
ivanpanch:patch-1
Aug 22, 2025
Merged

Fix mistakes#30
pdimov merged 2 commits intoboostorg:developfrom
ivanpanch:patch-1

Conversation

@ivanpanch
Copy link
Contributor

I have corrected some minor mistakes.

@pdimov pdimov merged commit 3b7b68b into boostorg:develop Aug 22, 2025
45 of 64 checks passed
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

Comments