I don't think you should link to the pull request, that's probably a bit confusing for non-git aficionados. I'd link to Adrian's repo where there is a download link, or even link directly to the download, but keep the line that says it will be included in Arduino 1.0.1