tree d3c724d89d624e02d5b58cfe09785852eff9c4ff
parent 8d6d8c84b1387b2ff8f3650652334dc0f33d35d0
author Gilles Peskine <Gilles.Peskine@arm.com> 1518613824 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1518613824 +0100

Add ChangeLog entry for PR #1165