Skip to content

Conversation

@dontcallmedom
Copy link
Member

whatwg and w3c moved to ed
w3c-tr moved to tr
close #33
see also w3c/reffy#169

whatwg and w3c moved to ed
w3c-tr moved to tr
close #33
Copy link
Member

@tidoust tidoust left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That looks good.

@foolip, note the report will now appear under reports/ed (for "Editor's Drafts"). Sync action updated accordingly.

@tidoust tidoust merged commit 0e01ae8 into master Sep 15, 2019
@foolip foolip deleted the dir-layout branch September 17, 2019 16:24
@foolip
Copy link
Member

foolip commented Sep 17, 2019

@tidoust thanks! Was a good idea to put that code in this directory, it seems!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Deprecate whatwg vs w3c views of the world?

4 participants