Skip to content

[NFC] Typos#763

Merged
christiangnrd merged 1 commit intomasterfrom
typo
Jan 29, 2026
Merged

[NFC] Typos#763
christiangnrd merged 1 commit intomasterfrom
typo

Conversation

@christiangnrd
Copy link
Member

In vscode the issue shows up as an overlay when the correct repository is listed so this enables that

@christiangnrd christiangnrd merged commit d762273 into master Jan 29, 2026
32 of 38 checks passed
@christiangnrd christiangnrd deleted the typo branch January 29, 2026 00:43
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