]> source.dussan.org Git - vaadin-framework.git/commit
Merge changes from origin/7.1
authorBuild Agent <build@vaadin.com>
Thu, 27 Feb 2014 12:24:28 +0000 (14:24 +0200)
committerBuild Agent <build@vaadin.com>
Thu, 27 Feb 2014 12:24:28 +0000 (14:24 +0200)
commit28c9d1da5d3cb93627d9e720b45f3104b20b7948
treef95e349042a289d8f71b95c9f5c1ccd76066fcde
parent4029a132f01b9c7019f8aca75b0c94423a3e563d
parent09bc99697ece6f70ea935974f3468fdbd1c9e430
Merge changes from origin/7.1

09bc996 Use more worker threads for widgetset compilation

Change-Id: I29b8726ae261cfa44c3e2734b582648b94fab267