A removed check in ba3deeefb
Indeed. It seems that it was really removed by 1bc90f7a, that I should have checked...
-- Fabien. -- Sent via pgsql-committers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-committers
