John Naylor <jcnaylor(at)gmail(dot)com> writes:> I've attached a patch that takes care of these cleanups so they don't> clutter the patch set.
Pushed. I made a couple of cosmetic changes in genbki.pl.
regards, tom lane