Skip to content

chore: crlf -> lf#8255

Merged
rjsparks merged 1 commit into
ietf-tools:mainfrom
jennifer-richards:crlf
Nov 21, 2024
Merged

chore: crlf -> lf#8255
rjsparks merged 1 commit into
ietf-tools:mainfrom
jennifer-richards:crlf

Conversation

@jennifer-richards

Copy link
Copy Markdown
Member

No description provided.

@rjsparks
rjsparks merged commit a9e5057 into ietf-tools:main Nov 21, 2024
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Nov 25, 2024
@jennifer-richards
jennifer-richards deleted the crlf branch February 4, 2025 15:39
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.

3 participants