On 26 November 2013 20:52, Paul Eggert <eggert@cs.ucla.edu> wrote: > Thanks, these two look good. I have now applied these patches. -- Will Newton Toolchain Working Group, Linaro