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

Landed in gecko: https://bugzilla.mozilla.org/show_bug.cgi?id=1575144 
Thanks to @sidvishnoi!  

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

Received on Friday, 15 November 2019 06:52:08 UTC