On Nov 18, 2016, at 3:13 AM, Iain Sandoe <i...@codesourcery.com> wrote: > > Thanks, at least I’m not going completely crazy ;-)
I'll just note for completeness that Jeff also couldn't explain a failure of your latest patch. If you run into one, let me know. > OK now for trunk? Ok. > open branches? Ok.