Skip to content

delete empty protocol, fix typo#32

Merged
cdingm merged 1 commit intomainfrom
protocols
Jun 13, 2022
Merged

delete empty protocol, fix typo#32
cdingm merged 1 commit intomainfrom
protocols

Conversation

@cdingm
Copy link
Collaborator

@cdingm cdingm commented Jun 13, 2022

remove protocol since it was not used

remove protocol since it was not used
@cdingm cdingm requested review from IlijazM, delvh and robojones June 13, 2022 08:24
@cdingm cdingm merged commit 1fb888f into main Jun 13, 2022
@cdingm cdingm deleted the protocols branch June 13, 2022 18:08
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