21cfa62cf2
> Just change the URL yourself, it's a one line fix that can be done with the GitHub web editor Since I was not having any issues building, I wanted to know if you can build with 7.4.2 instead of 7.4. This change will likely go through, I just want to double check you can actually build it with 7.4.2 instead of 7.4 before merging.