I noticed that Robert's message
<CA+TgmoZd+X-A0ZgGd9zzzC_tYcqPsY7uS=DER3ox0f+hFZpq3w@mail.gmail.com>
which he no-doubt-unintentionally cc'd to bothpgsql-hackers@lists.postgresql.org
andPgsql Hackers <pgsql-hackers@postgresql.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