bad7396 update to 0.84.7

Authored and Committed by remi 9 years ago
    update to 0.84.7
    
        
file modified
+1 -0
file modified
+6 -2
file modified
+1 -1