082fee4 update to 2.25.2

Authored and Committed by remi 9 years ago
    update to 2.25.2
    
    (cherry picked from commit c1731d269cf9180269304bbc98953b2741ca3535)
    
        
file modified
+1 -0
file modified
+1 -1