Re: [w3c/ServiceWorker] add w3cid for editors to help publication (#1218)

ylafon commented on this pull request.



> @@ -42,9 +42,9 @@ spec: infra;
 </pre>
 
 <pre class="anchors">
-spec: push; urlPrefix: https://w3c.github.io/push-api/
+spec: push; urlPrefix: https://www.w3.org/TR/push-api/

Ah! I didn't mean to add this commit to this PR...
In this case, as the spec is auto-published, the TR latest WD and the edcopy are always the same.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/ServiceWorker/pull/1218#discussion_r148738675

Received on Friday, 3 November 2017 09:43:36 UTC