Merge pull request #2561 from alex/crl-len-perf

Improve the performance of len(crl)