]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge branch 'master' into hierarchypaint
authorHenri Sara <hesara@vaadin.com>
Fri, 16 Mar 2012 11:47:54 +0000 (13:47 +0200)
committerHenri Sara <hesara@vaadin.com>
Fri, 16 Mar 2012 11:47:54 +0000 (13:47 +0200)

Trivial merge