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

Docs: fix typos of 'whether' in operator_{gt,le,lt}.md #4412

Merged
merged 1 commit into from
Jul 7, 2024

Conversation

tsnl
Copy link
Contributor

@tsnl tsnl commented Jul 6, 2024

Fixed some typos in the documentation that I noticed while browsing the docs on operator<.

The word "whether" was typo-ed as "wether." I fixed this typo and all others I could find in the repo using simple text-search after confirming each one.


Pull request checklist

Read the Contribution Guidelines for detailed information.

  • Changes are described in the pull request, or an existing issue is referenced.
  • The test suite compiles and runs without error.
  • Code coverage is 100%. Test cases can be added by editing the test suite.
  • The source code is amalgamated; that is, after making changes to the sources in the include/nlohmann directory, run make amalgamate to create the single-header files single_include/nlohmann/json.hpp and single_include/nlohmann/json_fwd.hpp. The whole process is described here.

@tsnl tsnl changed the title Docs: fix typos of 'whether' in 'operator_{gt,le,lt}.md' Docs: fix typos of 'whether' in operator_{gt,le,lt}.md Jul 6, 2024
@tsnl tsnl marked this pull request as ready for review July 6, 2024 23:03
@tsnl tsnl requested a review from nlohmann as a code owner July 6, 2024 23:03
Copy link
Owner

@nlohmann nlohmann 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.

@nlohmann nlohmann added this to the Release 3.11.4 milestone Jul 7, 2024
@nlohmann nlohmann merged commit 960b763 into nlohmann:develop Jul 7, 2024
3 checks passed
@nlohmann
Copy link
Owner

nlohmann commented Jul 7, 2024

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.

2 participants