]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Merge changes from origin/7.1"
authorJonatan Kronqvist <jonatan@vaadin.com>
Thu, 13 Feb 2014 11:26:25 +0000 (11:26 +0000)
committerVaadin Code Review <review@vaadin.com>
Thu, 13 Feb 2014 11:26:25 +0000 (11:26 +0000)

Trivial merge