I think our mail/news machine had some trouble that night and as a
consequence the gateway didn't work perfectly. I suggest that anyone
who posted something around Tuesday (August 2) and suspects it might
not have arrived repost it... (The machine was OK again on Wed 3
August at 10.30 am GMT+0200.)
--Guido van Rossum, CWI, Amsterdam <Guido.van.Rossum@cwi.nl>
<URL:http://www.cwi.nl/cwi/people/Guido.van.Rossum.html>