Skip to content

Update index.md - #4149

Merged
nlohmann merged 1 commit into
nlohmann:developfrom
HO-COOH:patch-1
Sep 14, 2023
Merged

nlohmann merged 1 commit into
nlohmann:developfrom
HO-COOH:patch-1

Conversation

@HO-COOH

@HO-COOH HO-COOH commented Sep 14, 2023

Copy link
Copy Markdown
Contributor

doc fix

@nlohmann nlohmann left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

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

Looks good to me.

@nlohmann nlohmann added this to the Release 3.11.3 milestone Sep 14, 2023
@nlohmann
nlohmann merged commit 5fec803 into nlohmann:develop Sep 14, 2023
@nlohmann

Copy link
Copy Markdown
Owner

Good catch! Thanks!

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

⌂ 换网址