From: Jens Jansson Date: Tue, 31 Jan 2012 07:25:40 +0000 (+0200) Subject: Merge remote branch 'origin/master' into contrib X-Git-Tag: 7.0.0.alpha2~511^2 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=735d2ed3043d5336cc8eb8bd5dc3565e9ddf8a05;p=vaadin-framework.git Merge remote branch 'origin/master' into contrib --- 735d2ed3043d5336cc8eb8bd5dc3565e9ddf8a05