On 6 August 2015 at 22:27, Richard Smith <richard at metafoo.co.uk> wrote: > I believe this should already be fixed by r244280. Excellent! It's going to be in the next build of most bots. I'll keep an eye. --renato