]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Merge changes from origin/7.1"
authorSauli Tähkäpää <sauli@vaadin.com>
Fri, 21 Mar 2014 09:30:46 +0000 (09:30 +0000)
committerVaadin Code Review <review@vaadin.com>
Fri, 21 Mar 2014 09:30:46 +0000 (09:30 +0000)

Trivial merge