]> git.ipfire.org Git - thirdparty/json-c.git/commitdiff
Merge pull request #822 from SSharshunov/master
authorEric Hawicz <erh+git@nimenees.com>
Fri, 4 Aug 2023 15:47:23 +0000 (11:47 -0400)
committerGitHub <noreply@github.com>
Fri, 4 Aug 2023 15:47:23 +0000 (11:47 -0400)
Added option to disable app build


Trivial merge