e40bd3 Add patch to fix a potential planner segfault.

Authored and Committed by Jason Tibbitts 7 years ago
    Add patch to fix a potential planner segfault.
    
        
file modified
+7 -1