tree 40c7165192e0652509801675052d6799ab0b0978
parent f96aefe3ad2fc3bfb0165a6b49c66cde25ec555e
author Gilles Peskine <Gilles.Peskine@arm.com> 1563976561 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1563976561 +0200

Explain some non-obvious parts of the code

Comment changes only.