]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge branch 'master' of ssh://dev.vaadin.com/vaadin
authorMarko Gronroos <magi@vaadin.com>
Thu, 22 Dec 2011 18:46:10 +0000 (20:46 +0200)
committerMarko Gronroos <magi@vaadin.com>
Thu, 22 Dec 2011 18:46:10 +0000 (20:46 +0200)

Trivial merge