]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Fixed browser specific theme selectors (#10362)"
authorMarc Englund <marc@vaadin.com>
Fri, 23 Nov 2012 19:03:52 +0000 (19:03 +0000)
committerVaadin Code Review <review@vaadin.com>
Fri, 23 Nov 2012 19:03:52 +0000 (19:03 +0000)

Trivial merge