Skip to content

chore: remove bin/monthly#7522

Merged
rjsparks merged 3 commits intoietf-tools:mainfrom
jennifer-richards:remove-monthly
Jun 11, 2024
Merged

chore: remove bin/monthly#7522
rjsparks merged 3 commits intoietf-tools:mainfrom
jennifer-richards:remove-monthly

Conversation

@jennifer-richards
Copy link
Copy Markdown
Member

No description provided.

@rjsparks rjsparks merged commit 4c0e3e1 into ietf-tools:main Jun 11, 2024
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jun 16, 2024
@jennifer-richards jennifer-richards deleted the remove-monthly branch July 12, 2024 14:06
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.

2 participants