]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Merge of (#9732) to Vaadin 7."
authorArtur Signell <artur@vaadin.com>
Mon, 17 Dec 2012 17:17:03 +0000 (17:17 +0000)
committerVaadin Code Review <review@vaadin.com>
Mon, 17 Dec 2012 17:17:03 +0000 (17:17 +0000)

Trivial merge