I guess an issue is not necessary for this trivial fixup, but nevertheless I follow what's written in .github/CONTRIBUTING.md. The pull request is in https://github.com/nlohmann/json/pull/321
I guess an issue is not necessary for this trivial fixup, but nevertheless I follow what's written in .github/CONTRIBUTING.md.
The pull request is in #321