PKI/4/DEL_CRL_OK: Deleting CRL file ([file_name]) succeeded.
Succeeded in deleting a CRL.
file_name
Specifies the CRL file name.
Deleting a CRL from the memory succeeded.