tree 97d15a71e14391f4c2323a0c3ea56d20bff38d6a
parent 4a2fb4c6be50134cbf6198ed6cc904f7d71af77b
author Gilles Peskine <Gilles.Peskine@arm.com> 1520895260 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1520895979 +0100

Fix ChangeLog style. Fix #918