f1f58f2 Add patch to fix crashes in dot. Fixes bug #1183242

Authored and Committed by kevin 9 years ago
    Add patch to fix crashes in dot. Fixes bug #1183242
    
        
file modified
+11 -1