jeremycole/innodb_ruby — pull request #9 by andrewgaul (2013-10-23 04:50:14+00:00)
Title: Correctly indent space-page-type-summary help text

Also remove spurious space.