On 17 January 2012 01:37, Robert Haas <robertmh...@gmail.com> wrote: >> It's a fairly inconsequential bug, but it is worth fixing... > > Fixed.
Thanks. -- Peter Geoghegan http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Training and Services -- Sent via pgsql-bugs mailing list (pgsql-bugs@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-bugs