Small documentation fixes by nlohmann · Pull Request #3520 · nlohmann/json

Skip to content

Navigation Menu

Sign in

Appearance settings

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Comments

Conversation

@nlohmann

Copy link

Owner

@nlohmann nlohmann commented

Jun 6, 2022

(CC @falbrechtskirchinger who had the last item on his list)

Copy link

Contributor

@falbrechtskirchinger falbrechtskirchinger left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me.

@coveralls

Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling ef0fdef on documentation into 7c65b5c on develop.

@nlohmann nlohmann merged commit b6d00d1 into develop

Jun 6, 2022

@nlohmann nlohmann deleted the documentation branch

June 6, 2022 14:46

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@falbrechtskirchinger falbrechtskirchinger falbrechtskirchinger approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@nlohmann nlohmann

Projects

None yet

Milestone

Release 3.11.0

Development

Successfully merging this pull request may close these issues.

3 participants

@nlohmann @coveralls @falbrechtskirchinger