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

remove ednotes #1721

Closed
wants to merge 1 commit into from
Closed

remove ednotes #1721

wants to merge 1 commit into from

Conversation

sebastiankb
Copy link
Contributor

@sebastiankb sebastiankb commented Oct 12, 2022

solves #1671


Preview | Diff

@sebastiankb sebastiankb added the Editorial Issues with no technical impact on implementations label Oct 12, 2022
@@ -4878,20 +4878,7 @@ <h2>Identification</h2>

<section id="validation-serialization-json">
<h2>Validation</h2>
<p class="ednote" title="No Tag Yet">
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@mmccool is this solved?

@@ -7167,14 +7154,6 @@ <h5>JSON Parsing</h5>
function to be parsed.
</span></dd>
</dl>
<p class="ednote" title="Other Injection Risks">
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@mmccool shall we convert this to regular note?

@sebastiankb
Copy link
Contributor Author

from today's TD call, we decided to not to merge. It is possible to have editorial notes in CR as well as in RECs.

@egekorkan egekorkan deleted the remove-notes branch October 25, 2022 13:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Editorial Issues with no technical impact on implementations
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant