tree 847976e0b98a753c3c77ee518a1c711e4a95ead1
parent 9eb37f785649039be8a1eede6cdb24fe364a852a
author Simon Butcher <simon.butcher@arm.com> 1488446289 +0000
committer Simon Butcher <simon.butcher@arm.com> 1488450423 +0000

Add fix and credit for #742 to the ChangeLog