On Dec 30, 2011, at 11:26 AM, Garrett Cooper wrote: > Hi Marcel, > It looks like r228981 broke the ARM tinderbox. Thanks for pointing it out. I'm double-checking my fix now... -- Marcel Moolenaar marcel at xcllnt.net