From: Artur Signell <artur@vaadin.com>
Date: Mon, 14 Apr 2014 08:48:04 +0000 (+0000)
Subject: Merge "Merge branch '7.2'"
X-Git-Tag: 7.2.0.beta1~9^2^2
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=eda9edcbde781d29ff5939defb61ba5fb159e206;p=vaadin-framework.git

Merge "Merge branch '7.2'"
---

eda9edcbde781d29ff5939defb61ba5fb159e206