- From: Domenic Denicola <notifications@github.com>
- Date: Wed, 06 Apr 2016 14:43:01 -0700
- To: whatwg/dom <dom@noreply.github.com>
Received on Wednesday, 6 April 2016 21:43:28 UTC
Just for the record that particular URL will stop working after the merge, but this one will continue working: http://services.w3.org/htmldiff?doc1=https%3A%2F%2Fraw.githubusercontent.com%2Fwhatwg%2Fdom%2Fcd643f8d142717580a9a913fa1fb63a27eb231de%2Fdom.html&doc2=https%3A%2F%2Fraw.githubusercontent.com%2Fwhatwg%2Fdom%2Fcustom-elements%2Fdom.html I've added that link to https://github.com/whatwg/dom/wiki so that it's easy to remember where to find it, at least, instead of having to go back to this bug thread or IRC logs. --- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/whatwg/dom/pull/204#issuecomment-206583879
Received on Wednesday, 6 April 2016 21:43:28 UTC