On 03/27/2014 11:16 AM, Daniele E. Domenichelli wrote: > Is it ok to merge it to next? Yes, but let's do only one change to ExternalProject per day so we can see how the tests do. Thanks, -Brad