Re: [racket-users] https://lists.racket-lang.org/ is throwing a security exception

2019-05-07 Thread David Storrs
No worries, just figured I'd pass it along.  Thanks for the rapid fix.

On Mon, May 6, 2019 at 12:59 PM Stephen Chang  wrote:

> https for lists.racket-lang is not working at the moment. Sorry for
> the inconvenience. The server hosting lists.racket-lang went down
> recently. A partial temporary non-https version is up but https hasnt
> been enabled yet.
>
> On Mon, May 6, 2019 at 12:48 PM David Storrs 
> wrote:
> >
> > I'm not sure if this is relevant or not, but figured I'd mention it.  Is
> that supposed to be working, or is it obsolete?  It does turn up in Google
> searches, so maybe worth thinking about.
> >
> > --
> > You received this message because you are subscribed to the Google
> Groups "Racket Users" group.
> > To unsubscribe from this group and stop receiving emails from it, send
> an email to racket-users+unsubscr...@googlegroups.com.
> > For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAE8gKodUNBG7za7iGaV1ut7i9y8SEuYtmPGNtKyJPsBbZMVfqw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-users] https://lists.racket-lang.org/ is throwing a security exception

2019-05-06 Thread Stephen Chang
https for lists.racket-lang is not working at the moment. Sorry for
the inconvenience. The server hosting lists.racket-lang went down
recently. A partial temporary non-https version is up but https hasnt
been enabled yet.

On Mon, May 6, 2019 at 12:48 PM David Storrs  wrote:
>
> I'm not sure if this is relevant or not, but figured I'd mention it.  Is that 
> supposed to be working, or is it obsolete?  It does turn up in Google 
> searches, so maybe worth thinking about.
>
> --
> You received this message because you are subscribed to the Google Groups 
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


[racket-users] https://lists.racket-lang.org/ is throwing a security exception

2019-05-06 Thread David Storrs
I'm not sure if this is relevant or not, but figured I'd mention it.  Is
that supposed to be working, or is it obsolete?  It does turn up in Google
searches, so maybe worth thinking about.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.