Richard Guo <guofenglinux(at)gmail(dot)com> writes:> Here is the patch for HEAD. I simply re-posted v10. Nothing has> changed.
I got back to this finally, and pushed it with some minor cosmeticadjustments.
regards, tom lane