Merge branches 'develop' and 'release_cleanup' of https://github.com/nlohmann/json into release_cleanup

This commit is contained in:
Niels Lohmann 2020-05-13 12:41:22 +02:00
commit 855d25a76c
No known key found for this signature in database
GPG key ID: 7F3CEA63AE251B69