[geolocation-api] Pull Request: Editorial: Minor corrections prior to republication

reillyeon has just submitted a new pull request for https://github.com/w3c/geolocation-api:

== Editorial: Minor corrections prior to republication ==
This PR contains a set of minor editorial corrections which should be applied prior to republication:

* Adds a missing semicolon to the `clearWatch()` example.
* Adds a missing "informative" class to the `timeout` example.
* Removes two unnecessary instances of the word "the" from the proposed changes to the fully active checks.

See https://github.com/w3c/geolocation-api/pull/161


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

Received on Tuesday, 11 June 2024 19:57:43 UTC