-
Notifications
You must be signed in to change notification settings - Fork 24
Remove the <ins> tag
#479
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
base: main
Are you sure you want to change the base?
Remove the <ins> tag
#479
Conversation
I think you meant: "following w3c/json-ld-api#676".
|
pchampin
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks @anatoly-scherbakov . To be complete, this PR also needs to
- remove the div
#change_api_638between lines 443 and 449 ofindex.html, which describes the Candidate Correction - line 13891 of
index.html, replace the link to#change_api_638with the text that was in the div removed above
pchampin
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
with suggested change
Co-authored-by: Pierre-Antoine Champin <[email protected]>
davidlehn
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I see the ci workflow here comments out the comparison with the wg common files such as https://github.com/w3c/json-ld-wg/blob/main/common/terms.html. Anyone know why? That check still exists in the api repo. The idea at one point had been to update those common docs then sync here.
Co-authored-by: David I. Lehn <[email protected]>
I think this deserves an issue of its own: #480. |
Co-authored-by: Pierre-Antoine Champin <[email protected]>
Following w3c/json-ld-api#676.
Preview | Diff