Hi all,
Nathan has reported to me offlist that maintainer-clean was not doing
its job for the files generated by gen_node_support.pl in
src/backend/nodes/ for the query jumbling. Attached is a patch to
take care of this issue.
While on it, I have found a comment in the related README that was
missing a refresh.
Any objections or comments?
--
Michael