Skip to content

Fix a typo#1175

Merged
wenkokke merged 1 commit intoplfa:devfrom
OlingCat:patch-2
Feb 26, 2026
Merged

Fix a typo#1175
wenkokke merged 1 commit intoplfa:devfrom
OlingCat:patch-2

Conversation

@OlingCat
Copy link
Contributor

No description provided.

Copy link
Member

@wadler wadler left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

Copy link
Collaborator

@wenkokke wenkokke left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@wenkokke wenkokke added this pull request to the merge queue Feb 26, 2026
Merged via the queue into plfa:dev with commit 65f463a Feb 26, 2026
12 checks passed
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.

3 participants