d0d1d7e Use a slightly friendlier source URL.

Authored and Committed by jjames 2 years ago
    Use a slightly friendlier source URL.
    
        
file modified
+2 -5
file modified
+1 -1
file modified
+2 -2