BTW, why not get rid of src/corba?
Good question; I'll remove it from HEAD tomorrow, barring any objections.
-Neil
---------------------------(end of broadcast)--------------------------- TIP 6: Have you searched our list archives?
http://archives.postgresql.org
