[proximity] https://w3c.github.io/proximity/ not updated (#45)

foolip has just created a new issue for https://github.com/w3c/proximity:

== https://w3c.github.io/proximity/ not updated ==
https://github.com/w3c/proximity/commit/9fa57e3053e89d0c9c519ec046d2bdd646308d4f never deployed, so https://w3c.github.io/proximity/ does not reflect the most recent changes to the spec. @anssiko would you be able to retry the job or otherwise get the published spec in sync again?

Please view or discuss this issue at https://github.com/w3c/proximity/issues/45 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Monday, 15 February 2021 20:40:47 UTC