bb7cfb8 change source URL to https://

Authored and Committed by stefanb 6 years ago
    change source URL to https://
    
        
file modified
+5 -2