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

Thanks @anssiko!

-- 
GitHub Notification of comment by foolip
Please view or discuss this issue at https://github.com/w3c/proximity/issues/45#issuecomment-779801255 using your GitHub account


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

Received on Tuesday, 16 February 2021 12:19:33 UTC