I wrote:
> Just in a quick read-through of the patches, the only things I noticed
Oh, a third thing: the patch places errcodes.txt under src/include,
which does not seem even approximately right. src/backend/utils
seems like a saner place for it.
regards, tom lane