716e5a Update from 0.85 to 0.85.1

Authored and Committed by oliver 15 years ago
    Update from 0.85 to 0.85.1
    
        
file modified
+2 -2
file modified
+6 -3
file modified
+2 -2