b7ce5d update to 2.23.2

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