Merge pull request #11979 from neheb/jan
authorRosen Penev <rosenp@gmail.com>
Thu, 30 Apr 2020 10:22:07 +0000 (03:22 -0700)
committerGitHub <noreply@github.com>
Thu, 30 Apr 2020 10:22:07 +0000 (03:22 -0700)
jsoncpp: add size optimizations


Trivial merge