Skip to content

Fix typo - #1058

Merged
nlohmann merged 2 commits into
nlohmann:developfrom
dns13:patch-1
Apr 17, 2018
Merged

nlohmann merged 2 commits into
nlohmann:developfrom
dns13:patch-1

Conversation

@dns13

@dns13 dns13 commented Apr 17, 2018

Copy link
Copy Markdown
Contributor

Just fixed a typo in the docs.

@nlohmann

Copy link
Copy Markdown
Owner

You need to change the files in the include and single_include folder, see the Files to Change section in https://github.com/nlohmann/json/blob/develop/.github/CONTRIBUTING.md

@dns13

dns13 commented Apr 17, 2018

Copy link
Copy Markdown
Contributor Author

Oops, this happens when you don't read everything. Thought single_include will bei autogenerated by ci. Sorry, fixed it.

@coveralls

coveralls commented Apr 17, 2018 •

Copy link
Copy Markdown

Coverage Status

Coverage remained the same at 100.0% when pulling 65b4d82 on dns13:patch-1 into 46ec2fd on nlohmann:develop.

@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 self-assigned this Apr 17, 2018
@nlohmann nlohmann added this to the Release 3.1.3 milestone Apr 17, 2018
@nlohmann
nlohmann merged commit 0ab8fab into nlohmann:develop Apr 17, 2018
@nlohmann

Copy link
Copy Markdown
Owner

Thanks!

@dns13
dns13 deleted the patch-1 branch April 18, 2018 07:05
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