Thank you for the report!
We are looking into it, and we'll do our best to bring it back online as soon as possible.
Kind regards,
Lionel
> --
> You received this message because you are subscribed to the Google Groups "minix3" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
minix3+un...@googlegroups.com.
> For more options, visit
https://groups.google.com/d/optout.