2011/7/16 Lukas Renggli <renggli at gmail.com>: > We have a broken build, what changed? I committed to the wrong repository, that should have gone to the WIP repository. I moved it to the WIP repository, the build should become green again. Cheers Philippe