(gnus-server-set-info): Use gnus-opened-servers-remove.
[gnus] / install-sh
2004-05-20 Miles BaderAdd arch taglines
1998-08-29 Lars Magne Ingebri... *** empty log message ***