tree cd4b827241c1abb0cba3405465a3685ade000c1e
parent c22d2975b682778aed91f71fa4b965e3d2dd4d6f
author Simon Butcher <simon.butcher@arm.com> 1488446289 +0000
committer Simon Butcher <simon.butcher@arm.com> 1488446604 +0000

Add fix and credit for #742 to the ChangeLog