W3C home > Mailing lists > Public > public-geolocation@w3.org > June 2020

[geolocation-api] Pull Request: Add sections, markup fixes, nits

From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
Date: Thu, 25 Jun 2020 08:23:31 +0000
To: public-geolocation@w3.org
Message-ID: <pull_request.opened-439814720-1593073410-sysbot+gh@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

This archive was generated by hypermail 2.4.0 : Thursday, 25 June 2020 08:23:34 UTC