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

Fix a typo #3265

Merged
merged 1 commit into from
Jan 12, 2022
Merged

Fix a typo #3265

merged 1 commit into from
Jan 12, 2022

Conversation

fhuberts
Copy link
Contributor

No description provided.

@request-info
Copy link

request-info bot commented Jan 12, 2022

We would appreciate it if you could provide us with more info about this issue or pull request! Please check the issue template and the pull request template.

@request-info request-info bot added the state: needs more info the author of the issue needs to provide more details label Jan 12, 2022
@nlohmann nlohmann added release item: 🔨 further change and removed state: needs more info the author of the issue needs to provide more details labels Jan 12, 2022
@nlohmann nlohmann self-assigned this Jan 12, 2022
@nlohmann nlohmann added this to the Release 3.10.6 milestone Jan 12, 2022
@nlohmann nlohmann merged commit 293f67f into nlohmann:develop Jan 12, 2022
@nlohmann
Copy link
Owner

Thanks!

@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling b5ef359 on fhuberts:patch-1 into c6740d7 on nlohmann:develop.

@fhuberts fhuberts deleted the patch-1 branch January 17, 2022 15:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants