Skip to content

pre-commit: update devel#28

Merged
nim65s merged 5 commits intoSimple-Robotics:develfrom
nim65s:devel
Jan 30, 2023
Merged

pre-commit: update devel#28
nim65s merged 5 commits intoSimple-Robotics:develfrom
nim65s:devel

Conversation

@nim65s
Copy link
Member

@nim65s nim65s commented Jan 24, 2023

Hi,

#26 was merged into master, which is a mistake. This will fix the current situation and avoid it to occur again.

@nim65s nim65s merged commit 1a8988a into Simple-Robotics:devel Jan 30, 2023
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.

1 participant

Comments