Skip to content

Synchronize with new stubs#202

Merged
szepeviktor merged 2 commits intomasterfrom
szepeviktor-patch-1
Oct 14, 2023
Merged

Synchronize with new stubs#202
szepeviktor merged 2 commits intomasterfrom
szepeviktor-patch-1

Conversation

@szepeviktor
Copy link
Copy Markdown
Owner

@szepeviktor szepeviktor commented Oct 14, 2023

Discovered in #201

@szepeviktor szepeviktor marked this pull request as ready for review October 14, 2023 18:48
@szepeviktor szepeviktor merged commit a523869 into master Oct 14, 2023
@szepeviktor szepeviktor deleted the szepeviktor-patch-1 branch October 14, 2023 18:51
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