... pgsql-committers is not propagating. Bruce evidently applieda ton of patches last night, and I see no committers messages forany of 'em.
regards, tom lane