From: Jens Jansson Date: Fri, 20 Jan 2012 14:16:02 +0000 (+0200) Subject: Merge remote branch 'origin/master' into contrib X-Git-Tag: 7.0.0.alpha2~537 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=d504fc8ad419a335dc1dc0bed41a8b5972dfb785;p=vaadin-framework.git Merge remote branch 'origin/master' into contrib --- d504fc8ad419a335dc1dc0bed41a8b5972dfb785