Skip to content

null mark GlobalSettings#3322

Merged
RafeArnold merged 1 commit into
masterfrom
jspecify-global-settings
Jan 30, 2026
Merged

null mark GlobalSettings#3322
RafeArnold merged 1 commit into
masterfrom
jspecify-global-settings

Conversation

@RafeArnold

Copy link
Copy Markdown
Contributor

No description provided.

@RafeArnold RafeArnold requested a review from a team as a code owner January 30, 2026 14:35
@RafeArnold RafeArnold merged commit 487b282 into master Jan 30, 2026
7 of 8 checks passed
@RafeArnold RafeArnold deleted the jspecify-global-settings branch January 30, 2026 14:46
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