]> git.ipfire.org Git - thirdparty/json-c.git/commitdiff
Merge pull request #701 from commodo/configurable-opts
authorEric Hawicz <erh+git@nimenees.com>
Sat, 17 Apr 2021 21:26:49 +0000 (17:26 -0400)
committerGitHub <noreply@github.com>
Sat, 17 Apr 2021 21:26:49 +0000 (17:26 -0400)
[RFC] json_pointer: allow the feature to be disabled


Trivial merge