I pushed a set of minor bug fixes to gitmaster a little whileago. The commit emails came through promptly, but I don'tyet see the commits athttps://git.postgresql.org/gitweb/?p=postgresql.git
regards, tom lane