Re: [PHP-DOC] Documenation bugs

[jeroen]

> I got the original msg from both php-dev@ & phpdoc@.
Then it is a news problem, probably the news server only parses the first
adress, to descide where to add the msg to...

Because on the news, this is not true. obviously there is no problem with
the mail.

Anyway, as a workaround, I've mailed a patch to webmaster, that makes it
separate mails, so
the news will also understand it.

Greetz,
Jeroen