3a1a7fe 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
+6 -3
file modified
+1 -0