235ebcd Fix source fetching script

Authored and Committed by mbooth 6 years ago
    Fix source fetching script
    
        
file modified
+10 -5
file modified
+10 -5
file modified
+1 -1