Skip to content

Fix typos, CI badge#307

Merged
RobertPincus merged 3 commits into
mainfrom
trivia
Jun 6, 2026
Merged

Fix typos, CI badge#307
RobertPincus merged 3 commits into
mainfrom
trivia

Conversation

@RobertPincus

Copy link
Copy Markdown
Member

No description provided.

@RobertPincus RobertPincus merged commit 0badfda into main Jun 6, 2026
35 checks passed
@RobertPincus RobertPincus deleted the trivia branch June 6, 2026 02:09
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.

1 participant