Skip to content

Conversation

nlohmann
Copy link
Owner

Closes #3837

@nlohmann nlohmann added this to the Release 3.11.3 milestone Dec 18, 2022
@nlohmann nlohmann self-assigned this Dec 18, 2022
@github-actions github-actions bot added the S label Dec 18, 2022
@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 32aaa87 on issue_3837 into 7f72eed on develop.

@nlohmann nlohmann merged commit 2ca8dab into develop Dec 18, 2022
@nlohmann nlohmann deleted the issue_3837 branch December 18, 2022 16:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

decode(state, codep, byte) generates warnings.
2 participants