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

Removing errata rendering scripts #2019

Closed
egekorkan opened this issue May 15, 2024 · 1 comment
Closed

Removing errata rendering scripts #2019

egekorkan opened this issue May 15, 2024 · 1 comment
Assignees
@egekorkan
Labels
Editorial Issues with no technical impact on implementations organizational topics around organizational and management related topics

Comments

@egekorkan
Copy link
Contributor

From https://github.com/w3c/wot-thing-description/blob/main/errata.html and https://github.com/w3c/wot-thing-description/blob/main/errata11.html , the display_errata scripts should be removed and checked for any undesired effects.
@egekorkan egekorkan self-assigned this May 15, 2024
@github-actions github-actions bot added the needs-triage Automatically added to new issues. TF should triage them with proper labels label May 15, 2024
@egekorkan egekorkan added Editorial Issues with no technical impact on implementations organizational topics around organizational and management related topics and removed needs-triage Automatically added to new issues. TF should triage them with proper labels labels May 15, 2024
@egekorkan
Copy link
Contributor Author

#2023 addressed this

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

@egekorkan egekorkan

Labels
Editorial Issues with no technical impact on implementations organizational topics around organizational and management related topics
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@egekorkan