tree 441c9f082105b5d42a53f53d0b2054687c986200
parent 0a63f9ea40fbbb91b0ef3330ce10fd0529632a07
author Gilles Peskine <Gilles.Peskine@arm.com> 1518604410 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1518604410 +0100

Note in the changelog that this fixes an interoperability issue.

Fixes #1339