]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Fixed primary stylename handling for MenuBar #9908"
authorMarc Englund <marc@vaadin.com>
Thu, 18 Oct 2012 12:56:36 +0000 (12:56 +0000)
committerVaadin Code Review <review@vaadin.com>
Thu, 18 Oct 2012 12:56:36 +0000 (12:56 +0000)

Trivial merge