]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge changes from origin/7.1
authorBuild Agent <build@vaadin.com>
Tue, 4 Mar 2014 15:37:17 +0000 (17:37 +0200)
committerBuild Agent <build@vaadin.com>
Tue, 4 Mar 2014 15:37:18 +0000 (17:37 +0200)
f6bd40d Extracted integration-test target.

Change-Id: I268c59c4ea45435bdafc0d2dcfd2a657f6bb7443


Trivial merge