d0d1d7 Use a slightly friendlier source URL.

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