W3C home > Mailing lists > Public > public-geolocation@w3.org > August 2018

[deviceorientation] Pull Request: Use pretty URL for the Editor's Draft

From: Anssi Kostiainen via GitHub <sysbot+gh@w3.org>
Date: Tue, 14 Aug 2018 08:29:47 +0000
To: public-geolocation@w3.org
Message-ID: <pull_request.opened-208205241-1534235386-sysbot+gh@w3.org>
anssiko has just submitted a new pull request for https://github.com/w3c/deviceorientation:

== Use pretty URL for the Editor's Draft ==
Fix #16 

For spec-source-orientation.html -> index.html diff:
`$ git diff a2d30944f9baa182cfd26200fb158a92e4e5c658:./spec-source-orientation.html index.html`

See https://github.com/w3c/deviceorientation/pull/51
Received on Tuesday, 14 August 2018 08:29:49 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:51:16 UTC