Skip to content
This repository has been archived by the owner on Dec 11, 2024. It is now read-only.

Stub generator fixes #23

Merged
merged 1 commit into from
Mar 23, 2024
Merged

Stub generator fixes #23

merged 1 commit into from
Mar 23, 2024

Conversation

vigoo
Copy link
Contributor

@vigoo vigoo commented Mar 23, 2024

Fixes several issues found in the stub generator:

@vigoo vigoo merged commit 791deb5 into main Mar 23, 2024
2 checks passed
@vigoo vigoo deleted the fixes-2 branch March 23, 2024 09:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
2 participants