On Thu, Jan 26, 2012 at 18:47, Robert Haas <[email protected]> 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.

Reply via email to