> This solves the problem that the news-server has with > multiple adresses in the headers. > > It also makes sure that also updates to bugs > get mailed to phpdev when relevant. You mean phpdoc. :) OK, patched. It will show up some time, and you can try. Goba