Skip to content

Update interfaces#6031

Merged
yperbasis merged 1 commit into
develfrom
update_interfaces
Nov 11, 2022
Merged

Update interfaces#6031
yperbasis merged 1 commit into
develfrom
update_interfaces

Conversation

@yperbasis

Copy link
Copy Markdown
Member

@yperbasis yperbasis merged commit 5b3f2b8 into devel Nov 11, 2022
@yperbasis yperbasis deleted the update_interfaces branch November 11, 2022 16:16
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