]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge remote branch 'origin/master' into contrib
authorJens Jansson <peppe@vaadin.com>
Fri, 20 Jan 2012 14:16:02 +0000 (16:16 +0200)
committerJens Jansson <peppe@vaadin.com>
Fri, 20 Jan 2012 14:16:02 +0000 (16:16 +0200)

Trivial merge