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

Trivial merge