]> source.dussan.org Git - vaadin-framework.git/commitdiff
projects / vaadin-framework.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5b311a9 6249518)
Merge changes from origin/7.1
authorBuild Agent <build@vaadin.com>
Tue, 4 Mar 2014 09:48:15 +0000 (11:48 +0200)
committerBuild Agent <build@vaadin.com>
Tue, 4 Mar 2014 09:48:15 +0000 (11:48 +0200)
6249518 Re-try opening ssh tunnel if it fails the first time(s)

Change-Id: I01402d5ae3a97aa2aca72f5c23dc7b6315b0edf6


Trivial merge
Vaadin 6, 7, 8 is a Java framework for modern Java web applications: https://github.com/vaadin/framework