Skip to content

Refine documentation of error_handler parameter#2232

Merged
nlohmann merged 1 commit intodevelopfrom
ignore_documentation
Jul 6, 2020
Merged

Refine documentation of error_handler parameter#2232
nlohmann merged 1 commit intodevelopfrom
ignore_documentation

Conversation

@nlohmann
Copy link
Owner

Follow up to #2231.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling ad6eade on ignore_documentation into eb7376b on develop.

@nlohmann nlohmann self-assigned this Jul 6, 2020
@nlohmann nlohmann added this to the Release 3.8.1 milestone Jul 6, 2020
@nlohmann nlohmann merged commit 197c3d4 into develop Jul 6, 2020
@nlohmann nlohmann deleted the ignore_documentation branch July 6, 2020 05:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants