tree 5e3c22168ce8f05b267a17ed42b92b45a7df6142
parent 8d7d1ea9f6df2b26eedfa699cd85b1d3aea054ba
author Gilles Peskine <Gilles.Peskine@arm.com> 1518604410 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1518621368 +0100

Note in the changelog that this fixes an interoperability issue.

Fixes #1339