On Wed, Jan 04, 2012 at 04:01:27PM +0100, Thorsten Behrens wrote: >> Will you push that to the buildbot repo, please? > Done (the 0001- one). I did not get any "tinderbox fixed" message... My code does not work, or tinderbox operators have not pulled? -- Lionel