14 Oct
2013
14 Oct
'13
2:23 p.m.
On 14 October 2013 14:57, Liviu.Dudau@arm.com wrote:
I'll leave it in your capable hands to decide which path you take.
If you need it for your patch:
Thanks - I'll go with my patch if only because I already have it in git and it's less effort to just push it out.