tree 35031534b42d0e03fb19fc7abcbdbde2f5f3608a
parent 674038aaa485104b8c219adf656c0365033f1880
author Gilles Peskine <Gilles.Peskine@arm.com> 1531944025 +0200
committer itayzafrir <itay.zafrir@arm.com> 1536759672 +0300

Minor clarifications