mirror of
https://github.com/open-source-parsers/jsoncpp.git
synced 2025-06-01 23:23:41 +02:00

Requested/noticed in https://github.com/open-source-parsers/jsoncpp/pull/610, and a followup to https://github.com/open-source-parsers/jsoncpp/pull/607 .