Here is a patch for dbmirror to be applied for the next beta.
I'll apply this within the next 24 hours, barring any objections.
-Neil
---------------------------(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