<div dir="ltr">IIRC, this was particularly relevant for the opam sub-domain, so cc-ing the opam-devel list. Can any opam dev please confirm. If it is still needed, we should act quick to update this.</div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Sep 5, 2016 at 7:29 AM, François Bobot <span dir="ltr"><<a href="mailto:francois.bobot@cea.fr" target="_blank">francois.bobot@cea.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 05/09/2016 09:01, Xavier Leroy wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Gandi informs me that the SSL certificate for the <a href="http://ocaml.org" rel="noreferrer" target="_blank">ocaml.org</a> domain<br>
expires in 14 days, on 2016-09-20 01:59.<br>
<br>
If you need me to do something with Gandi in order to renew this<br>
certificate, do let me know ASAP.<br>
<br>
</blockquote>
<br></span>
I used <a href="https://letsencrypt.org/" rel="noreferrer" target="_blank">https://letsencrypt.org/</a> for getting free SSL certificate for <a href="http://frama-c.com" rel="noreferrer" target="_blank">frama-c.com</a> (bts.,git.,...) and it worked very well. There is even a debian package.<br>
<br>
My two cents,<span class="HOEnZb"><font color="#888888"><br>
<br>
-- <br>
François</font></span><div class="HOEnZb"><div class="h5"><br>
______________________________<wbr>_________________<br>
Infrastructure mailing list<br>
<a href="mailto:Infrastructure@lists.ocaml.org" target="_blank">Infrastructure@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/infrastructure" rel="noreferrer" target="_blank">http://lists.ocaml.org/listinf<wbr>o/infrastructure</a><br>
</div></div></blockquote></div><br></div>