782045b This is 0.8.1, which is a bugfix release for 0.8

Authored and Committed by Michael DeHaan 16 years ago
    This is 0.8.1, which is a bugfix release for 0.8
    
        
file modified
+1 -0
file modified
+9 -3
file modified
+1 -0