buildbot/buildbot — pull request #778 by vrutsky (2013-06-28 07:50:55+00:00)
Title: Backport docs highlighting monkey patch for older Sphinx versions

Currently host that builds documentation uses Sphinx v1.0.7.