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.

Sign up for GitHub

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

Jump to bottom

Fix warnings #2174

Merged
merged 2 commits into from
Jun 7, 2020
Merged

Fix warnings #2174

merged 2 commits into from
Jun 7, 2020

Conversation

nlohmann
Copy link
Owner

@nlohmann nlohmann commented Jun 6, 2020

This PR fixes some warnings introduced in #2145.

@coveralls
Copy link

coveralls commented Jun 6, 2020 •
edited
Loading

Coverage Status

Coverage remained the same at 100.0% when pulling 9078031 on fix_warnings into 7444c7f on develop.

@nlohmann nlohmann mentioned this pull request Jun 6, 2020
Closed
@nlohmann nlohmann linked an issue Jun 6, 2020 that may be closed by this pull request
Some troubles to compile the last revision #2177
Closed
@nlohmann nlohmann self-assigned this Jun 6, 2020
@nlohmann nlohmann added this to the Release 3.8.0 milestone Jun 6, 2020
@nlohmann nlohmann merged commit 543dcee into develop Jun 7, 2020
@nlohmann nlohmann deleted the fix_warnings branch June 7, 2020 18:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@nlohmann nlohmann

Labels
None yet
Projects
None yet
Milestone
Release 3.8.0
Development

Successfully merging this pull request may close these issues.

Some troubles to compile the last revision
2 participants
@nlohmann @coveralls