Skip to content

Conversation

falbrechtskirchinger
Copy link
Contributor

Fix the remaining issues of PR #3229.

Copy link
Owner

@nlohmann nlohmann left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me.

@nlohmann nlohmann added this to the Release 3.11.0 milestone May 1, 2022
@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling c9f9923 on falbrechtskirchinger:icpc into 0c698b7 on nlohmann:develop.

@nlohmann nlohmann merged commit bdc21ad into nlohmann:develop May 1, 2022
@nlohmann
Copy link
Owner

nlohmann commented May 1, 2022

Thanks!

@nlohmann nlohmann mentioned this pull request May 1, 2022
9 tasks
@falbrechtskirchinger falbrechtskirchinger deleted the icpc branch May 2, 2022 05:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants