tree e737a39023e2d2037bcc9a1b33e55bb2c5afd419
parent 214a84889cfc8fd18ef08f72e4b9074b4f8472d6
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1456137415 +0100
committer Simon Butcher <simon.butcher@arm.com> 1457551928 +0000

Clarify documentation about missing CRLs

Also tune up some working while at it.