]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Merge of (#6476) to Vaadin 7."
authorArtur Signell <artur@vaadin.com>
Thu, 3 Jan 2013 12:16:45 +0000 (12:16 +0000)
committerVaadin Code Review <review@vaadin.com>
Thu, 3 Jan 2013 12:16:45 +0000 (12:16 +0000)

Trivial merge