]> granicus.if.org Git - json-c/commitdiff
Merge pull request #741 from rouault/json_type_to_name_formatter
authorEric Hawicz <erh+git@nimenees.com>
Sat, 19 Feb 2022 01:08:31 +0000 (20:08 -0500)
committerGitHub <noreply@github.com>
Sat, 19 Feb 2022 01:08:31 +0000 (20:08 -0500)
json_type_to_name(): use correct printf() formatter


Trivial merge