Robert Haas <robertmhaas@gmail.com> writes:
> Even if that doesn't turn out to be the case, this is pretty harmless,
> so maybe we should just apply it and move on.
I have no great objection to the patch as such; just wondering what the
roadmap is.
regards, tom lane