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

Refine documentation of error_handler parameter #2232

Merged

nlohmann merged 1 commit into develop from ignore_documentation

Jul 6, 2020

Owner

nlohmann commented Jun 30, 2020

Follow up to #2231.


          📝 refine documentation of error_handler parameter

ad6eade

coveralls commented Jun 30, 2020

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

nlohmann self-assigned this

nlohmann added this to the Release 3.8.1 milestone

nlohmann merged commit 197c3d4 into develop

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