tree 09adbb583c1294408e3dd2952dc8fa98d61723b0
parent 36091fe3efbc59638b11d08c2c3be7a144285cba
author Gilles Peskine <Gilles.Peskine@arm.com> 1494406000 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1494406000 +0200

Code portability fix