Well, we have a patch, so we need someone to babysit it until it is applied, or put it somewhere and reference it via TODO.
OK -- either way is fine by me.
Joe
---------------------------(end of broadcast)--------------------------- TIP 6: Have you searched our list archives?
http://archives.postgresql.org