]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Merge changes from origin/7.1"
authorLeif Åstrand <leif@vaadin.com>
Thu, 13 Mar 2014 07:31:32 +0000 (07:31 +0000)
committerVaadin Code Review <review@vaadin.com>
Thu, 13 Mar 2014 07:31:32 +0000 (07:31 +0000)

Trivial merge