On Thu, Jan 26, 2012 at 18:47, Robert Haas <robertmh...@gmail.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.