[geolocation-api] Pull Request: Some suggestions and fixes from Thomas Steiner via GitHub on 2021-05-31 (public-geolocation@w3.org from May 2021)

From: Thomas Steiner via GitHub <sysbot+gh@w3.org>
Date: Mon, 31 May 2021 07:15:31 +0000
To: public-geolocation@w3.org
Message-ID: <pull_request.opened-658049759-1622445329-sysbot+gh@w3.org>

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

== Some suggestions and fixes ==
Typo fixes and number separators.
CC: @marcoscaceres 

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


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

Received on Monday, 31 May 2021 07:17:37 UTC