tree 2bd1e335426f092d517458e6b3fb0a87c906cffa
parent 2938268fb48ba4fd7866b310942685119f81e840
author Gilles Peskine <Gilles.Peskine@arm.com> 1558960287 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1559116739 +0200

Merge follow-up: remove unused code from the development branch