Skip to content

Conversation

@bdura
Copy link
Contributor

@bdura bdura commented Feb 12, 2024

A most minor documentation fix.

@marshallpierce
Copy link
Owner

Thanks! I'll look at the CI issue; it's not related to your change.

@marshallpierce
Copy link
Owner

Should be fixed upstream now; rebase or merge and it should pass.

@bdura
Copy link
Contributor Author

bdura commented Mar 18, 2024

I missed you comment, sorry about that! I merged the upstream changes.

@marshallpierce
Copy link
Owner

Thanks!

@marshallpierce marshallpierce merged commit 9a518a2 into marshallpierce:master Mar 26, 2024
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