We don't need to reload the server on a new CRL push