Reload GitHub Pull Request Diff page to ignore whitespace

Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.

Version vom 27.05.2014. Aktuellste Version

长期地址
遇到问题?请前往 GitHub 提 Issues。