]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Merge branch '7.2'"
authorArtur Signell <artur@vaadin.com>
Mon, 14 Apr 2014 08:48:04 +0000 (08:48 +0000)
committerVaadin Code Review <review@vaadin.com>
Mon, 14 Apr 2014 08:48:04 +0000 (08:48 +0000)

Trivial merge