On 28 April 2014 13:14, Csaba Raduly <rcsaba at gmail.com> wrote: > Fixed sometime before r207412 Indeed, my bots are getting green again. cheers, --renato