Hi All,
	Sorry for the noise... but a number of people have started sending to
${LIST}@gentoo.org, CCing to ${LIST}@lists.gentoo.org -- resulting in
duplicate emails being sent to this end.

	If possible, can people kindly pick one, or the other -- and not both?

	Incidentally, I've fixed the problem with using robin.gentoo.org... I
could've filtered on other headers...but what I've done instead is put
the following in my .mailfilter file (Yes, I use maildrop here):

if (/Cc: *!.*!@.*.gentoo.org/)
{
         xfilter "sed -e 's/$MATCH3/@lists.gentoo.org/'"
}

if (/To: *!.*!@.*.gentoo.org/)
{
         xfilter "sed -e 's/$MATCH3/@lists.gentoo.org/'"
}

(There's probably a way to combine those into one... but I can't be
arsed looking. ;-)

Regards,
--
+-------------------------------------------------------------+
| Stuart Longland -oOo- http://stuartl.longlandclan.hopto.org |
| Atomic Linux Project     -oOo-    http://atomicl.berlios.de |
| - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |
| I haven't lost my mind - it's backed up on a tape somewhere |
+-------------------------------------------------------------+