On Thu, Jan 26, 2012 at 18:47, Robert Haas <span dir="ltr"><<a
href="mailto:robertmhaas@gmail.com">robertmhaas@gmail.com</a>></span>wrote:<br /><div
class="gmail_quote"><blockquoteclass="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc
solid;padding-left:1ex">OK, committed with that further change.</blockquote></div><br />Thank you, Robert! My first
realcontribution, even if tiny :-)<br /><br />Just a small nit to pick, though: Giuseppe Sucameli contributed to this
patchbut was not credited in the commit log.<br />