tree 683b9514894aba4201170822df8f1d93cf11c3e9
parent 429aaee6718bfae61b4b8ae235634c0fdc56c3df
author Simon Butcher <simon.butcher@arm.com> 1488446289 +0000
committer Simon Butcher <simon.butcher@arm.com> 1488446453 +0000

Add fix and credit for #742 to the ChangeLog