48753a5 workaround for missing git dependency

Authored and Committed by kparal 6 years ago
    workaround for missing git dependency
    
        
file modified
+3 -0