W3C home > Mailing lists > Public > public-geolocation@w3.org > July 2021

[geolocation-api] Pull Request: Tidied up document using tidy-html5

From: github-actions[bot] via GitHub <sysbot+gh@w3.org>
Date: Tue, 27 Jul 2021 08:37:35 +0000
To: public-geolocation@w3.org
Message-ID: <pull_request.opened-697654175-1627375054-sysbot+gh@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/98


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 27 July 2021 08:37:37 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 27 July 2021 08:37:38 UTC