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

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