]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Merge of (#5681) to Vaadin 7."
authorLeif Åstrand <leif@vaadin.com>
Fri, 11 Jan 2013 16:53:09 +0000 (16:53 +0000)
committerVaadin Code Review <review@vaadin.com>
Fri, 11 Jan 2013 16:53:09 +0000 (16:53 +0000)

Trivial merge