Correct a typo #14300

Merged

marijnh merged 1 commit from github/fork/Yewzir/patch-1 into master 2025-09-16 16:09:16 +02:00

Conversation 2 Commits 1 Files changed 1 +1 -1

marijnh commented 2025-09-16 16:02:35 +02:00 (Migrated from gitlab.com)

Copy link

No description provided.

marijnh commented 2025-09-16 16:09:16 +02:00 (Migrated from gitlab.com)

Copy link

Merged by: marijnh at 2025-09-16 14:09:16 UTC

*Merged by: marijnh at 2025-09-16 14:09:16 UTC*

marijnh (Migrated from gitlab.com) closed this pull request 2025-09-16 16:09:16 +02:00

marijnh (Migrated from gitlab.com) merged commit into master 2025-09-16 16:09:16 +02:00

marijnh commented 2025-09-16 16:09:24 +02:00 (Migrated from gitlab.com)

Copy link

Thanks for spotting that!

Thanks for spotting that!

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

codemirror/codemirror5!14300

No description provided.