Reported by: Yann Dirson <dirson@debian.org>;Date: Mon, 14 May 2001 22:03:10 UTC;Severity: wishlist;Filed 22 years and 360 days ago;Modified 15 years and 238 days ago;
Reported by: Tamas Patrovics <procmail@mailbox.hu>;Date: Tue, 7 May 2002 11:18:01 UTC;Severity: wishlist;Tags: patch, upstream;Forwarded to bug-texinfo@gnu.org;Filed 22 years and 2 days ago;Modified 18 years and 95 days ago;