[workers] Need to port WD-workers-20150924 changes to index.html (#1) from Arthur Barstow on 2015-10-19 (public-webapps-github@w3.org from October 2015)

From: Arthur Barstow <notifications@github.com>
Date: Mon, 19 Oct 2015 05:33:30 -0700
To: w3c/workers <workers@noreply.github.com>
Message-ID: <w3c/workers/issues/1@github.com>

The changes made to [WD-workers-20150924](http://www.w3.org/TR/2015/WD-workers-20150924/) should be ported/copied to the [Editor's Draft](https://github.com/w3c/workers/blob/gh-pages/index.html).

@siusin 

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/workers/issues/1

Received on Monday, 19 October 2015 12:34:06 UTC