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

Duplicate section? #458

Closed
jakearchibald opened this issue Nov 30, 2023 · 1 comment · Fixed by #461
Closed

Duplicate section? #458

jakearchibald opened this issue Nov 30, 2023 · 1 comment · Fixed by #461
Assignees
@hober
Labels
Agenda+
Milestone
2023-12-04-week

Comments

@jakearchibald
Copy link
Contributor

https://w3ctag.github.io/design-principles/#properties-vs-methods feels like a duplicate of https://w3ctag.github.io/design-principles/#attributes-vs-methods
@torgo torgo added this to the 2023-12-04-week milestone Dec 3, 2023
@torgo torgo added the Agenda+ label Dec 3, 2023
hober added a commit that referenced this issue Dec 5, 2023
@hober
Revert #262. Fixes #458.
d1dde0e
@hober
Copy link
Contributor

hober commented Dec 5, 2023

Yup, it definitely is. @torgo committed a draft of the section in PR #262 and @cynthia committed the finished text in PR #350.

PR #461 reverts #262.

@hober hober linked a pull request Dec 5, 2023 that will close this issue
Revert #262. Fixes #458. #461
Merged
cynthia pushed a commit that referenced this issue Dec 6, 2023
@hober
Revert #262. Fixes #458. (#461)
1eadb6d
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hober hober

Labels
Agenda+
Projects
None yet
Milestone
2023-12-04-week
Development

Successfully merging a pull request may close this issue.

Revert #262. Fixes #458. w3ctag/design-principles
3 participants
@hober @jakearchibald @torgo