Hi, On Fri, Jan 23, 2015 at 2:23 PM, Robert Munteanu <[email protected]> wrote: > ...I'm wondering if we still need the buildbot setup as the Jenkins > builds seem to be (mostly) stable these days....
Right, I agree that we could remove the buildbot setup for now. -Bertrand
