tree 9073ab55564b48ca92eea8d9813c83801142eab1
parent de420a47b63d838403f029b80b9490e574300fad
author Gilles Peskine <Gilles.Peskine@arm.com> 1522184933 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1522185386 +0200

Add ChangeLog entry

Fixes #1299. Fixes #1475.