mirleft/ocaml-x509 — pull request #10 by pqwy (2014-07-06 17:42:07+00:00)
Title: OID dispatch

Not too important but was lying around since my benching round. Makes cascade-of-comparisons both a little easier to read, and quite a bit faster.