Hi Charlie, On 30 October 2014 02:27, Charlie Turner <charlie.turner at arm.com> wrote: > Please may you help me commit this patch? I don’t have permissions to commit myself. Yep, it should be committed as r220912. Thanks for working on it. Cheers. Tim