Re: No https on mlton.org?
Matthew Fluet <[email protected]> Mon, 29 Apr 2019 05:32:19 -0400
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <CAMrhFL4rC-r3cxt=PGWjVBNDNgDWwuWmjSXVi5Jm34_Q-WixfA@mail.gmail.com> |
--===============6676102258326577570== Content-Type: multipart/alternative; boundary="000000000000a371d80587a7f62c" --000000000000a371d80587a7f62c Content-Type: text/plain; charset="UTF-8" It's a limitation of SourceForge's support for custom vhosts. We could have `https://mlton.sourceforge.io`, but `mlton.org` would continue to be served over http. On Sat, Apr 27, 2019 at 10:35 AM Henry Cejtin <[email protected]> wrote: > I just noticed that mlton.org only does http, not https. > > -- > You received this message because you are subscribed to the Google Groups > "MLton-user" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > > > > _______________________________________________ > MLton-user mailing list > [email protected]; [email protected] > https://lists.sourceforge.net/lists/listinfo/mlton-user > -- You received this message because you are subscribed to the Google Groups "MLton-user" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. --000000000000a371d80587a7f62c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:courier = new,monospace;font-size:large">It's a limitation of SourceForge's s= upport for custom vhosts.=C2=A0 We could have `<a href=3D"https://mlton.sou= rceforge.io">https://mlton.sourceforge.io</a>`, but `<a href=3D"http://mlto= n.org">mlton.org</a>` would continue to be served over http.</div></div><br= ><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Sat, A= pr 27, 2019 at 10:35 AM Henry Cejtin <<a href=3D"mailto:henry.cejtin@gma= il.com">[email protected]</a>> wrote:<br></div><blockquote class=3D= "gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(2= 04,204,204);padding-left:1ex">I just noticed that <a href=3D"http://mlton.o= rg" rel=3D"noreferrer" target=3D"_blank">mlton.org</a> only does http, not = https.<br> <br> -- <br> You received this message because you are subscribed to the Google Groups &= quot;MLton-user" group.<br> To unsubscribe from this group and stop receiving emails from it, send an e= mail to <a href=3D"mailto:mlton-user%[email protected]" target=3D"_bl= ank">[email protected]</a>.<br> <br> <br> <br> _______________________________________________<br> MLton-user mailing list<br> <a href=3D"mailto:[email protected]" target=3D"_blank">MLton= [email protected]</a>; <a href=3D"mailto:[email protected]" ta= rget=3D"_blank">[email protected]</a><br> <a href=3D"https://lists.sourceforge.net/lists/listinfo/mlton-user" rel=3D"= noreferrer" target=3D"_blank">https://lists.sourceforge.net/lists/listinfo/= mlton-user</a><br> </blockquote></div> <p></p> -- <br /> You received this message because you are subscribed to the Google Groups &= quot;MLton-user" group.<br /> To unsubscribe from this group and stop receiving emails from it, send an e= mail to <a href=3D"mailto:[email protected]">mlton-user+unsu= [email protected]</a>.<br /> --000000000000a371d80587a7f62c-- --===============6676102258326577570== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============6676102258326577570== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ MLton-user mailing list [email protected]; [email protected] https://lists.sourceforge.net/lists/listinfo/mlton-user --===============6676102258326577570==--