Skip to content

Add implicits identity#588

Merged
kazievab merged 1 commit into
mainfrom
487-add-implicits-identity
May 17, 2024
Merged

Add implicits identity#588
kazievab merged 1 commit into
mainfrom
487-add-implicits-identity

Conversation

@kazievab

@kazievab kazievab commented May 2, 2024

Copy link
Copy Markdown
Member

No description provided.

@kazievab kazievab added the feature New feature or request label May 2, 2024
@kazievab kazievab linked an issue May 2, 2024 that may be closed by this pull request
@kazievab
kazievab merged commit 084a437 into main May 17, 2024
@kazievab
kazievab deleted the 487-add-implicits-identity branch May 17, 2024 21:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feature New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add implicits identity

1 participant