[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