Skip to content

Fix typo correspoading -> corresponding#2733

Merged
kayween merged 2 commits into
cornellius-gp:mainfrom
benediktjohannes:patch-14
Apr 12, 2026
Merged

Fix typo correspoading -> corresponding#2733
kayween merged 2 commits into
cornellius-gp:mainfrom
benediktjohannes:patch-14

Conversation

@benediktjohannes
Copy link
Copy Markdown
Contributor

No description provided.

@kayween kayween self-assigned this Mar 13, 2026
@kayween
Copy link
Copy Markdown
Collaborator

kayween commented Mar 13, 2026

Hi @benediktjohannes thanks for catching this. I think we can merge this.

One thing that would help us a lot: since we've already merged quite a few of these typo fixes individually, would you mind bundling any future typo finds into a single PR? It just helps keep the review queue and CI runs manageable on our end. A single "fix assorted typos" PR with several fixes is welcome!

@benediktjohannes
Copy link
Copy Markdown
Contributor Author

Hi @benediktjohannes thanks for catching this. I think we can merge this.

One thing that would help us a lot: since we've already merged quite a few of these typo fixes individually, would you mind bundling any future typo finds into a single PR? It just helps keep the review queue and CI runs manageable on our end. A single "fix assorted typos" PR with several fixes is welcome!

Hi, thank you very much for your reply! I'll try my best to combine these into one in future - I just found this one (lateron to the others a few days ago) and so I thought I'll submit this one via a new PR (because the other is already merged and I can't do it there anymore), but if I find further typos in future, I'll combine them (but probably, I've already found most of them for now).

@benediktjohannes
Copy link
Copy Markdown
Contributor Author

Could you please merge @Balandat @kayween ? Thanks!

@kayween kayween merged commit 6da5b28 into cornellius-gp:main Apr 12, 2026
7 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.

2 participants