Skip to content

Conversation

@brandur
Copy link
Contributor

@brandur brandur commented Mar 10, 2025

Corrects a few straggling problems with the rename done in #1. CI still
passed there, so I thought I'd gotten everything, but didn't.

Corrects a few straggling problems with the rename done in #1. CI still
passed there, so I thought I'd gotten everything, but didn't.
@brandur brandur merged commit 203f3fd into master Mar 10, 2025
2 checks passed
@brandur brandur deleted the brandur-new-name branch March 10, 2025 05:14
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.

2 participants