Comment by agwa

They did not, but log policy permits logs to reject revoked certificates, so no explanation was required.