Fix, ditto.
authorSimon Josefsson <jas@extundo.com>
Sun, 7 Jul 2002 19:38:32 +0000 (19:38 +0000)
committerSimon Josefsson <jas@extundo.com>
Sun, 7 Jul 2002 19:38:32 +0000 (19:38 +0000)
commitddf71c75165e99d24172790179f72ae1051336e2
tree65835089e4f249acd9e1db870bb0c1130adf4fe3
parent92243866a1b4e913aded6e2906ad54c674833136
Fix, ditto.
texi/gnus.texi