da1ed73 replace patch with official fix now in the repository

Authored and Committed by sailer 5 years ago
    replace patch with official fix now in the repository
    
        
file modified
+64 -10
file modified
+3 -0