- From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
- Date: Mon, 08 Apr 2024 03:53:02 +0000
- To: public-geolocation@w3.org
marcoscaceres has just created a new issue for https://github.com/w3c/geolocation-api: == Add support for converting GeolocationCoordinates to JSON (object) == Given `GeolocationCoordinates` are just nullable doubles, it would be nice if GeolocationCoordinates exposed a (WebIDL) default `.toJSON()` method. Please view or discuss this issue at https://github.com/w3c/geolocation-api/issues/145 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 8 April 2024 03:53:03 UTC