- From: Raphael Kubo da Costa via GitHub <sysbot+gh@w3.org>
- Date: Fri, 27 Jan 2023 14:21:19 +0000
- To: public-device-apis-log@w3.org
@anssiko do you know if there's a way to trigger a new build of https://w3c.github.io/proximity/ without landing a change there? The `<dfn>` is being exported here, but the HTML page being served is still from last year. -- GitHub Notification of comment by rakuco Please view or discuss this issue at https://github.com/w3c/sensors/pull/456#issuecomment-1406571311 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 27 January 2023 14:21:20 UTC