Hi!

> I am also seeing this for http://riot-os.org/pipermail/devel/. The
> root site (http://riot-os.org) still works.

The first link is indeed not supposed to work.

> I think the URL is configured wrong in mailman.
> https://lists.riot-os.org/pipermail/devel/ works for me.

Yes, you're right. I recently run a mailman script to fix the links from http
to https, but apparently failed twice. First, I forgot to specify the host
name at all (which Olaf Bergmann pointed me to) and then I used the wrong
domain.

Should be fixed now. Thanks for the hints.

Cheers,
Oleg
-- 
I’d tell you an UDP joke but you might not get it.  Also, I have a TCP joke.
I’ll keep telling it until you get it.

Attachment: pgp1WdgTIk4Kc.pgp
Description: PGP signature

_______________________________________________
devel mailing list
devel@riot-os.org
https://lists.riot-os.org/mailman/listinfo/devel

Reply via email to