]> granicus.if.org Git - jq/commitdiff
Merge pull request #1818 from muhmuhten/free_in_index
authorNico Williams <nico@cryptonector.com>
Sat, 9 Feb 2019 22:32:20 +0000 (16:32 -0600)
committerGitHub <noreply@github.com>
Sat, 9 Feb 2019 22:32:20 +0000 (16:32 -0600)

Trivial merge