2fe59e7 Added patch to fix deinitialization issue (#1091053)

Authored and Committed by Nikos Mavrogiannopoulos 10 years ago
    Added patch to fix deinitialization issue (#1091053)
    
        
file modified
+7 -1