[webauthn] Pull Request: Use the new name for Coordinates

saschanaz has just submitted a new pull request for https://github.com/w3c/webauthn:

== Use the new name for Coordinates ==
Corresponds to https://github.com/w3c/geolocation-api/pull/20 and https://github.com/w3c/geolocation-api/pull/23.

See https://github.com/w3c/webauthn/pull/1344

Received on Monday, 18 November 2019 16:11:27 UTC