tree 54c11f00ee4999187753c09171127b4083026f1d
parent 0b736db0f3b0cd8fb743147a2ee006ee7359dba5
author Simon Butcher <simon.butcher@arm.com> 1488446289 +0000
committer Simon Butcher <simon.butcher@arm.com> 1488446289 +0000

Add fix and credit for #742 to the ChangeLog