> Thanks for merging this! Would it be possible to change the copyright > to Arm Ltd. but leave my email as the point of contact? Please let me > know if this is an issue.
No I guess its ok. Pushed! Mathieu
> Thanks for merging this! Would it be possible to change the copyright > to Arm Ltd. but leave my email as the point of contact? Please let me > know if this is an issue.
No I guess its ok. Pushed! Mathieu