Skip to content

Improve generics arguments#240

Merged
exoego merged 2 commits intomasterfrom
diamond
Jan 31, 2023
Merged

Improve generics arguments#240
exoego merged 2 commits intomasterfrom
diamond

Conversation

@exoego
Copy link
Contributor

@exoego exoego commented Jan 29, 2023

No description provided.

@exoego exoego added the chore internal changes (not user-facing) label Jan 29, 2023
@exoego exoego marked this pull request as ready for review January 29, 2023 07:58
Copy link
Contributor

@yuokada yuokada left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@exoego exoego merged commit 0067f6d into master Jan 31, 2023
@exoego exoego deleted the diamond branch January 31, 2023 07:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore internal changes (not user-facing)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants