@andrew-zentner - This Pull Request is a trivial one. You can see what I did by reading the two commit messages, and by clicking on the "Commits" and "Files Changed" tabs on GitHub. When you've seen what I've done, just click "Merge". Then you can locally update in the normal way (either git pull or git fetch origin master followed by git merge origin master). Let me know if you have any questions.
@andrew-zentner - This Pull Request is a trivial one. You can see what I did by reading the two commit messages, and by clicking on the "Commits" and "Files Changed" tabs on GitHub. When you've seen what I've done, just click "Merge". Then you can locally update in the normal way (either
git pullorgit fetch origin masterfollowed bygit merge origin master). Let me know if you have any questions.