messages not delivering?

Hi, I'm think this problem might've cropped up again. I didn't receive this message: http://news.php.net/php.internals/99052 I only heard about it because it was mentioned in a PR thread. Similarly, I'm wondering if some messages in this thread weren't getting delivered: http://news.php.net/php.internals/99041 At least, some of the responses I was getting made it seem like Matteo and Marco didn't get all of my posts. Thanks, Adam