Skip to content

improve OTP implementation#749

Merged
animalillo merged 3 commits intomasterfrom
improve-otp-implementation
Jan 18, 2023
Merged

improve OTP implementation#749
animalillo merged 3 commits intomasterfrom
improve-otp-implementation

Conversation

@binsky08
Copy link
Collaborator

@binsky08 binsky08 force-pushed the improve-otp-implementation branch from e8cecb5 to 54d1171 Compare August 27, 2022 00:35
@binsky08 binsky08 requested a review from animalillo January 3, 2023 18:28
@animalillo animalillo merged commit f007546 into master Jan 18, 2023
@delete-merged-branch delete-merged-branch bot deleted the improve-otp-implementation branch January 18, 2023 16:36
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.

2 participants