Skip to content

Minor type annotation fixup#1781

Merged
Lucas-C merged 1 commit intomasterfrom
minor-type-annotation-fixup
Mar 16, 2026
Merged

Minor type annotation fixup#1781
Lucas-C merged 1 commit intomasterfrom
minor-type-annotation-fixup

Conversation

@Lucas-C
Copy link
Member

@Lucas-C Lucas-C commented Mar 16, 2026

By submitting this pull request, I confirm that my contribution is made under the terms of the GNU LGPL 3.0 license.

@Lucas-C Lucas-C merged commit 9dbd2da into master Mar 16, 2026
23 checks passed
@Lucas-C Lucas-C deleted the minor-type-annotation-fixup branch March 16, 2026 08:03
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