OK, that's really what I needed... messages sent to pgsql-committers with different recipient addresses.-- Peter Eisentrauthttp://developer.postgresql.org/~petere/