- From: reschke <notifications@github.com>
- Date: Thu, 18 Dec 2014 05:26:47 -0800
- To: webspecs/url <url@noreply.github.com>
Received on Thursday, 18 December 2014 13:27:17 UTC
fix ID references, fix WG element, fix AREA element, remove unneeded empty elements
You can merge this Pull Request by running:
git pull https://github.com/reschke/url develop
Or you can view, comment on it, or merge it online at:
https://github.com/webspecs/url/pull/19
-- Commit Summary --
* fix ID references, fix WG element, fix AREA element, remove unneeded empty elements
-- File Changes --
M docs/url-problem-statement.xml (45)
-- Patch Links --
https://github.com/webspecs/url/pull/19.patch
https://github.com/webspecs/url/pull/19.diff
---
Reply to this email directly or view it on GitHub:
https://github.com/webspecs/url/pull/19
Received on Thursday, 18 December 2014 13:27:17 UTC