Skip to content

Propagate nullability#4959

Merged
gchatelet merged 2 commits intomainfrom
propagate_nullability
Dec 18, 2025
Merged

Propagate nullability#4959
gchatelet merged 2 commits intomainfrom
propagate_nullability

Conversation

@gchatelet
Copy link
Copy Markdown
Collaborator

No description provided.

@gchatelet gchatelet merged commit af5487d into main Dec 18, 2025
21 of 22 checks passed
@gchatelet gchatelet deleted the propagate_nullability branch December 18, 2025 21:38
Mizux pushed a commit that referenced this pull request Jan 7, 2026
@Mizux Mizux added this to the v9.16 milestone Feb 16, 2026
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