Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Editorial: revert [hr-time] workaround #802

Closed
annevk opened this issue Dec 6, 2019 · 3 comments · Fixed by #804
Closed

Editorial: revert [hr-time] workaround #802

annevk opened this issue Dec 6, 2019 · 3 comments · Fixed by #804

Comments

@annevk
Copy link
Member

annevk commented Dec 6, 2019

It seems @ExE-Boss is tackling this per tobie/specref#571, but until that lands I'm going to reference [hr-time-2] for a bit to unblock some work.

annevk added a commit that referenced this issue Dec 6, 2019
It needs to be "children changed steps" as consumers appear to react to changes of all sorts.

Tests: web-platform-tests/wpt#15871.

This builds on work started in #732 and will further refine that eventually. Meta follow-up: #802.
@ExE-Boss
Copy link

ExE-Boss commented Dec 6, 2019

tobie/specref#572 has been merged.

@annevk
Copy link
Member Author

annevk commented Dec 6, 2019

That's great, though it doesn't seem to have propagated through all the tooling just yet.

@ExE-Boss
Copy link

ExE-Boss commented Dec 9, 2019

This has now propagated through all the tooling and the build for #807 has passed.

@annevk annevk closed this as completed in 0038d09 Dec 11, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants