(Other Marks): Fix.
authorSimon Josefsson <jas@extundo.com>
Tue, 10 Sep 2002 10:33:48 +0000 (10:33 +0000)
committerSimon Josefsson <jas@extundo.com>
Tue, 10 Sep 2002 10:33:48 +0000 (10:33 +0000)
commitf3b236e8921f994f2bf5c7837f16693e1666935c
tree69eeb096b8750185dfee7122a573fd8eda850f9b
parent97c02fae71f11342307ded680137885092b1ebae
(Other Marks): Fix.
texi/ChangeLog
texi/gnus.texi