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.

Sign up for GitHub

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

Jump to bottom

Add non-normative note about find-in-page details privacy #7229

Merged
merged 5 commits into from
Nov 1, 2021
Merged

Add non-normative note about find-in-page details privacy #7229

merged 5 commits into from
Nov 1, 2021

Conversation

josepharhar
Copy link
Contributor

@josepharhar josepharhar commented Oct 15, 2021 •
edited by pr-preview bot
Loading

Adding in response to this comment:
w3ctag/design-reviews#677 (comment)

  • At least two implementers are interested (and none opposed):
    • …
    • …
  • Tests are written and can be reviewed and commented upon at:
    • …
  • Implementation bugs are filed:
    • Chrome: …
    • Firefox: …
    • Safari: …

(See WHATWG Working Mode: Changes for more details.)

💥 Error: Wattsi server error 💥

PR Preview failed to build. (Last tried on Oct 28, 2021, 5:57 PM UTC).

More

PR Preview relies on a number of web services to run. There seems to be an issue with the following one:

🚨 Wattsi Server - Wattsi Server is the web service used to build the WHATWG HTML spec.

🔗 Related URL

<html>
<head><title>524 Origin Time-out</title></head>
<body bgcolor="white">
<center><h1>524 Origin Time-out</h1></center>
<hr><center>cloudflare-nginx</center>
</body>
</html>

If you don't have enough information above to solve the error by yourself (or to understand to which web service the error is related to, if any), please file an issue.

@josepharhar josepharhar mentioned this pull request Oct 15, 2021
Closed
1 task
annevk
annevk reviewed Oct 18, 2021
View reviewed changes
source Show resolved Hide resolved
annevk
annevk reviewed Oct 26, 2021
View reviewed changes
source Show resolved Hide resolved
source Outdated Show resolved Hide resolved
source Show resolved Hide resolved
@annevk annevk merged commit e6f3087 into whatwg:main Nov 1, 2021
@josepharhar josepharhar deleted the detailsprivacy branch November 2, 2021 00:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@annevk annevk annevk approved these changes

Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@josepharhar @annevk