[Pki-devel] [PATCH] 0072 Weaken PKIPrincipal to superclass in several places