reassign 372805 txt2man unarchive 416391 forcemerge 416391 372805 archive 416391 thanks
Hi, This was a bug in txt2man, not gawk and was fixed some time ago (March 2008) in txt2man 1.5.5-1. Regards, -- Jeroen Schot -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
