I noticed that Robert's message
<CA+TgmoZd+X-A0ZgGd9zzzC_tYcqPsY7uS=DER3ox0f+hFZpq3w(at)mail(dot)gmail(dot)com>
which he no-doubt-unintentionally cc'd to both
pgsql-hackers(at)lists(dot)postgresql(dot)org
and
Pgsql Hackers <pgsql-hackers(at)postgresql(dot)org>
was delivered to the list twice. I have no doubt at all that that's
going to happen a *lot* during the list domain changeover, so I'd
strongly recommend putting something in place to de-dup.
regards, tom lane