tree 774e7938990aa4e1c0097d95e18cc7653af19e75
parent a156363070fdaadb4aa07c5b7221aec9a0e402d3
author Simon Butcher <simon.butcher@arm.com> 1488446289 +0000
committer Simon Butcher <simon.butcher@arm.com> 1488449841 +0000

Add fix and credit for #742 to the ChangeLog