Merge pull request #12478 from ja-pa/jsoncpp-update
authorJosef Schlehofer <pepe.schlehofer@gmail.com>
Fri, 31 Jul 2020 09:17:30 +0000 (11:17 +0200)
committerGitHub <noreply@github.com>
Fri, 31 Jul 2020 09:17:30 +0000 (11:17 +0200)
jsoncpp: update to version 1.9.3


Trivial merge