Do not delete certificates when user is deleted; set them to be revoked so that the CRL generation will add them to the CRL. They will be pruned by the nightly dbcheck.
Do not delete certificates when user is deleted; set them to be
revoked so that the CRL generation will add them to the CRL. They will
be pruned by the nightly dbcheck.

nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome