Hi, On Mon, Nov 11, 2013 at 11:58:26AM -0500, Robinson Tryon wrote: > Bjoern - Can we/should we include builds from the 4.0+ repo? No, as they are redundant to builds in the 2013-10-12 repo. > Are you still stashing daily builds in a repo? I am not and never did daily builds. Best, Bjoern