Peter Eisentraut <peter(at)eisentraut(dot)org> writes:
> Add gitignore entries for jsonpath_gram.h
No, this is wrong, you should revert it. Those files aren't
built anymore. You might have leftover copies in your tree
depending on how thoroughly you cleaned it before pulling
550b9d26f, but this isn't the appropriate solution for that.
regards, tom lane