From: Build Agent <build@vaadin.com>
Date: Tue, 4 Mar 2014 09:48:15 +0000 (+0200)
Subject: Merge changes from origin/7.1
X-Git-Tag: 7.2.0.beta1~137
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=f99e824c198204db1ea385331630b2e5cec49eda;p=vaadin-framework.git

Merge changes from origin/7.1

6249518 Re-try opening ssh tunnel if it fails the first time(s)

Change-Id: I01402d5ae3a97aa2aca72f5c23dc7b6315b0edf6
---

f99e824c198204db1ea385331630b2e5cec49eda