openc/openc_bot — pull request #3 by sebbacon (2013-11-25 10:03:57+00:00)
Title: Documentation update

Just realised I was commenting on a commit rather than a PR. Can we make pretty much everything except very trivial changes PRs as it's a better way to aggregate comments? Ta.