Hi Please backport the fix for this bug to lenny and upload it to testing-proposed-updates.
If you think it's not really possible to backport the fix and it would be better to not include acl2 in lenny, please tell me. Cheers Luk -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
