Skip to content

Conversation

nlohmann
Copy link
Owner

This PR addresses #3096.

@nlohmann nlohmann self-assigned this Oct 20, 2021
@nlohmann nlohmann added the review needed It would be great if someone could review the proposed changes. label Oct 20, 2021
@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 91f9fd6 on issue3096 into 67c8ead on develop.

@nlohmann nlohmann added this to the Release 3.10.5 milestone Oct 20, 2021
@nlohmann nlohmann merged commit c4a4e67 into develop Oct 29, 2021
@nlohmann nlohmann deleted the issue3096 branch October 29, 2021 19:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation release item: 🔨 further change review needed It would be great if someone could review the proposed changes.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants