- From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
- Date: Thu, 25 Jun 2020 08:23:31 +0000
- To: public-geolocation@w3.org
marcoscaceres has just submitted a new pull request for https://github.com/w3c/geolocation-api: == Add sections, markup fixes, nits == In prep for new Rec, I've cleaned up the spec a little bit (all editorial/chore changes): * adds sections for interface attributes, methods, and dictionary members * adds an index with all the defined and dependent terms * cleaned up some of the markup, specially the * removed some redundant things See https://github.com/w3c/geolocation-api/pull/46
Received on Thursday, 25 June 2020 08:23:33 UTC