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.

Reply via email to