]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge remote branch 'origin/master' into contrib
authorJens Jansson <peppe@vaadin.com>
Tue, 31 Jan 2012 07:25:40 +0000 (09:25 +0200)
committerJens Jansson <peppe@vaadin.com>
Tue, 31 Jan 2012 07:25:40 +0000 (09:25 +0200)

Trivial merge