Skip to content

remove-editor-attrib#10

Merged
kwatsen merged 2 commits intomainfrom
remove-editor-attrib
Mar 12, 2026
Merged

remove-editor-attrib#10
kwatsen merged 2 commits intomainfrom
remove-editor-attrib

Conversation

@kwatsen
Copy link
Copy Markdown
Contributor

@kwatsen kwatsen commented Mar 12, 2026

Issues closed

Please list all the issues this PR closes.
The issues will auto-close when the PR merges.
Syntax follows:

Closes #?? // for issues in the yang-xml repo
Closes netmod-wg/yang-next#?? // for YANG-next issues
None // if PR doesn't close an issue

Design

Please indicate if a design was created for this PR and, if so,
a link to it. Either:

None
https://github.com/netmod-wg/yang-xml/designs/

Additional Information

Any additional information that would not go into the an Issue or the draft itself?
If no Issue is listed above, please fill this section in...

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 12, 2026

All of the following MUST be verified by AUTHORS before merging to main:

  • Updated "IANA Considerations" section, or N/A?
  • Updated "Security Considerations" section, or N/A?
  • Updated "Normative/Informational References" sections, or N/A?
  • Updated "Acknowledgements" section, or N/A? (Not GitHub users)

The following MUST be verified by the EDITOR before merging to main:

  • The XML artifact uploads to Datatracker?

@kwatsen kwatsen merged commit 1a02986 into main Mar 12, 2026
5 checks passed
@kwatsen kwatsen deleted the remove-editor-attrib branch March 12, 2026 06:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant