tree 58a0f6ccfab0c83180d46b954c61287ace394d05
parent 427ff4836c190689e3154fc9d5562d8bc2ff7996
author Gilles Peskine <Gilles.Peskine@arm.com> 1518604410 +0100
committer Jaeden Amero <jaeden.amero@arm.com> 1520962073 +0000

Note in the changelog that this fixes an interoperability issue.

Fixes #1339