Hi,

when faced with a message-ID of the form <news:$ID>
gnus-article-refer-article fails miserably. The following patch corrects
this.

Suggested ChangeLog entry:

2003-02-07  Frank Weinberg  <frank@usenet-rundfahrt.de>

        * gnus-art.el (gnus-article-refer-article): Strip leading "news:"
          from message-ID

Frank