Re: [geolocation-api] Rename NavigatorGeolocation* interfaces to Geolocation* (#23)

Thank you all! To summarize, this is now fixed in all major engines:

- [x] Gecko: https://bugzil.la/1575144
- [x] WebKit: https://webkit.org/b/200885
- [x] Chromium: https://crbug.com/931847

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

Received on Friday, 15 November 2019 09:18:22 UTC