Skip to content

add HRI#8

Merged
JarbasAl merged 1 commit intodevfrom
feat/HRI
Feb 17, 2023
Merged

add HRI#8
JarbasAl merged 1 commit intodevfrom
feat/HRI

Conversation

@JarbasAl
Copy link
Member

@JarbasAl JarbasAl added the enhancement New feature or request label Feb 14, 2023
@JarbasAl JarbasAl mentioned this pull request Feb 15, 2023
93 tasks
@JarbasAl JarbasAl merged commit 9d64658 into dev Feb 17, 2023
@JarbasAl JarbasAl deleted the feat/HRI branch February 17, 2023 00:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant