W3C home > Mailing lists > Public > public-geolocation@w3.org > June 2020

[geolocation-api] Pull Request: Editorial: fix jump to undefined step

From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
Date: Wed, 24 Jun 2020 07:19:22 +0000
To: public-geolocation@w3.org
Message-ID: <pull_request.opened-439012833-1592983161-sysbot+gh@w3.org>
marcoscaceres has just submitted a new pull request for https://github.com/w3c/geolocation-api:

== Editorial: fix jump to undefined step ==
Closes #44 


See https://github.com/w3c/geolocation-api/pull/45
Received on Wednesday, 24 June 2020 07:19:24 UTC

This archive was generated by hypermail 2.4.0 : Wednesday, 24 June 2020 07:19:25 UTC