c3cddb7df8
Currently vexxhost is having a number of build timeout issues. This patch sets the max-servers in vexxhost from 25 to 0. Change-Id: I7661887e9a5fab4265a51b283d989f3071e7bee4