On Thu, Jan 26, 2012 at 18:47, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> OK, committed with that further change.
Thank you, Robert! My first real contribution, even if tiny :-)
Just a small nit to pick, though: Giuseppe Sucameli contributed to this
patch but was not credited in the commit log.