Eric Wong befc9adc0c git-svn: fix useSvmProps, hopefully for the last time 18 years ago
..
svm.dump git-svn: fix useSvmProps, hopefully for the last time 18 years ago