Merge pull request #13525 from ja-pa/jsoncpp-1.9.4
authorRosen Penev <rosenp@gmail.com>
Tue, 29 Sep 2020 19:23:40 +0000 (12:23 -0700)
committerGitHub <noreply@github.com>
Tue, 29 Sep 2020 19:23:40 +0000 (12:23 -0700)
jsoncpp: update to version 1.9.4


Trivial merge