]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge branch 'master' into feature/elements feature/elements
authorManolo Carrasco <manolo@vaadin.com>
Tue, 19 Jul 2016 10:50:47 +0000 (12:50 +0200)
committerManolo Carrasco <manolo@vaadin.com>
Tue, 19 Jul 2016 10:50:47 +0000 (12:50 +0200)

Trivial merge