]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Ensure panel decoration is shown (#10258)"
authorLeif Åstrand <leif@vaadin.com>
Wed, 2 Jan 2013 14:57:41 +0000 (14:57 +0000)
committerVaadin Code Review <review@vaadin.com>
Wed, 2 Jan 2013 14:57:41 +0000 (14:57 +0000)

Trivial merge