[gentoo-user] Mailing list address - who's robin?

I filter mail from mailing lists based on the To: address. Most
mails from this list are addressed to gentoo-user RemoveThis @lists.gentoo.org,
however a few are addressed to gentoo-user RemoveThis @robin.gentoo.org. Not a
problem since I can just add it to the filter but I was curious.



--
gentoo-user RemoveThis @gentoo.org mailing list

On Mon, Feb 21, 2005 at 01:27:24PM +0000, Jim Hatfield wrote:
> I filter mail from mailing lists based on the To: address. Most
> mails from this list are addressed to gentoo-user RemoveThis @lists.gentoo.org,
> however a few are addressed to gentoo-user RemoveThis @robin.gentoo.org. Not a
> problem since I can just add it to the filter but I was curious.

We are in the process of testing and migrating lists to a new server, the new
server is called robin.gentoo.org and at the end lists.gentoo.org will point
to it.

Unfortunately in this phase we need to keep both names, all messages routed
to gentoo-user RemoveThis @gentoo.org and gentoo-user RemoveThis @lists.gentoo.org are redirected to
robin.

Bye

--
Andrea Barisani <lcars RemoveThis @gentoo.org> .*.
Gentoo Linux Infrastructure Developer V
( )
GPG-Key 0x864C9B9E http://dev.gentoo.org/~lcars/pubkey.asc ( )
0A76 074A 02CD E989 CE7F AC3F DA47 578E 864C 9B9E ^^_^^
"Pluralitas non est ponenda sine necessitate"
--
gentoo-user RemoveThis @gentoo.org mailing list