jquery/jquery-ui — pull request #698 by jzaefferer (2012-07-12 15:52:04+00:00)
Title: Menu: Rename icon option to icons.submenu

Replacing #697. Pushing a commit on a branch before master confuses GitHub.