Skip to content

feat: change slugs/names#9778

Merged
rudimatz merged 3 commits intoietf-tools:feat/rpc-apifrom
rudimatz:feat/change-standards-slugs
Oct 23, 2025
Merged

feat: change slugs/names#9778
rudimatz merged 3 commits intoietf-tools:feat/rpc-apifrom
rudimatz:feat/change-standards-slugs

Conversation

@rudimatz
Copy link
Copy Markdown
Contributor

No description provided.

@rudimatz rudimatz changed the title change slugs/names feat: change slugs/names Oct 23, 2025
@rudimatz rudimatz merged commit d1aa690 into ietf-tools:feat/rpc-api Oct 23, 2025
2 checks passed
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Oct 27, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant