Hi, I know what's wrong with the version numbers
2.212 vs. 2.32 *.212 > *.32 Can we fix this ? will upload new version 2.32 to mentors.debian.org Greetings Erik -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
