Merge branch 'master' of https://git.gnus.org/gnus
[gnus] / texi / etc /
2001-09-24 Simon Josefsson2001-09-24 Simon Josefsson <jas@extundo.com>