Re: [geolocation-api] Editorial: fix jump to undefined step (#45)

See https://github.com/w3c/geolocation-api/issues/44#issuecomment-648725084

-- 
GitHub Notification of comment by anssiko
Please view or discuss this issue at https://github.com/w3c/geolocation-api/pull/45#issuecomment-648725816 using your GitHub account

Received on Wednesday, 24 June 2020 10:04:35 UTC