1. 2004-11-01 [Serusers] dev12 - has vm.so been deprecated? serusers Marian Dumitru 2. 2004-11-01 [Serusers] dev12 - has vm.so been deprecated? sr-users Marian Dumitru 3. 2004-10-31 [Serusers] dev12 - has vm.so been deprecated? serusers Steve Blair 4. 2004-10-31 [Serusers] dev12 - has vm.so been deprecated? serusers Java Rockx 5. 2004-10-31 [Serusers] dev12 - has vm.so been deprecated? sr-users Steve Blair 6. 2004-10-31 [Serusers] dev12 - has vm.so been deprecated? sr-users Java Rockx 7. 2004-10-31 [Serusers] dev12 - has vm.so been deprecated? serusers Marian Dumitru 8. 2004-10-31 [Serusers] dev12 - has vm.so been deprecated? sr-users Marian Dumitru 9. 2004-10-31 [Serusers] dev12 - has vm.so been deprecated? serusers Java Rockx 10. 2004-10-31 [Serusers] dev12 - has vm.so been deprecated? sr-users Java Rockx