tree 71d945fdb4df91ff69b203ced62e66c7492f75e1
parent 39906a92079c801ec1020f2e543e380c24422d5c
author Simon Butcher <simon.butcher@arm.com> 1488446289 +0000
committer Simon Butcher <simon.butcher@arm.com> 1488446755 +0000

Add fix and credit for #742 to the ChangeLog