Closed hannesm closed 8 years ago
this is to be merged when either x509 master is in xmpp-opam, or a new release of x.509 is done
this is to be merged when either x509 master is in xmpp-opam, or a new release of x.509 is done