alohaeditor/Aloha-Editor — pull request #625 by csupnig (2012-07-30 07:00:53+00:00)
Title: Hotfix 0.21.x

Fixed: The numerated headers toggle button worked the wrong way round