> 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.