Re: https://w3id.org/ -- Down?

Well, it's up.  :)

On Wed, Oct 16, 2019 at 2:50 PM Sergio José Rodríguez Méndez <
srodriguez@pet.cs.nctu.edu.tw> wrote:

> Dear all:
>
> It seems that  https://w3id.org/ has been down for a couple of hours
> (from this time of writing).  Does anyone know when it will be up/active?
>
> /$¡rm
> Best regards,
> Sergio
>