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, SergioReceived on Wednesday, 16 October 2019 03:51:33 UTC
This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:46:01 UTC