github/github-services — pull request #400 by yeah (2012-09-17 21:55:45+00:00)
Title: Slight change to the documentation

Please merge when convenient. Thanks!