The buildfarm server has changed to a new (bigger, faster, better) server. There might be odd discrepancies, which will be resolved in a day or two when I reconcile and merge the two databases.
Thanks for your patience
andrew
---------------------------(end of broadcast)--------------------------- TIP 9: the planner will ignore your desire to choose an index scan if your joining column's datatypes do not match
