223db3 Revert "Bump release v5.12 to a82ce507d36e"

Authored and Committed by pjgeorg 3 years ago
    Revert "Bump release v5.12 to a82ce507d36e"
    
    This reverts commit c5e12937d4369a9be67ee0c09b94308bbdbe5350.
    
        
file modified
+1 -1
file modified
+1 -1