- 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