On 13 June 2013 18:03, Richard Smith <richard at metafoo.co.uk> wrote: > This is already fixed (r183924). It seems we don't have any buildbots > which build with NDEBUG and are set up to send mail ;( ... or, if we > do, they're super low. We do have them, but I think they were already red when this went in :-( Cheers, Rafael