]> source.dussan.org Git - vaadin-core.git/commitdiff
Merge branch 'master' into docsite_task pr12/r1
authorManolo Carrasco <manolo@apache.org>
Tue, 29 Sep 2015 21:54:43 +0000 (23:54 +0200)
committerManolo Carrasco <manolo@apache.org>
Tue, 29 Sep 2015 21:54:43 +0000 (23:54 +0200)

Trivial merge