]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge branch 'master' into gwt
authorHenri Sara <hesara@vaadin.com>
Fri, 29 Jun 2012 12:36:56 +0000 (15:36 +0300)
committerHenri Sara <hesara@vaadin.com>
Fri, 29 Jun 2012 12:36:56 +0000 (15:36 +0300)

Trivial merge