- From: github-actions[bot] via GitHub <sysbot+gh@w3.org>
- Date: Wed, 24 Nov 2021 00:04:55 +0000
- To: public-geolocation@w3.org
github-actions[bot] has just submitted a new pull request for https://github.com/w3c/geolocation-api: == Tidied up document using tidy-html5 == Automated changes by [create-pull-request](https://github.com/peter-evans/create-pull-request) GitHub action See https://github.com/w3c/geolocation-api/pull/112 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 24 November 2021 00:04:57 UTC