Skip to content

Conversation

@h0nIg
Copy link
Contributor

@h0nIg h0nIg commented Sep 10, 2022

required for openv/openv#480

@h0nIg
Copy link
Contributor Author

h0nIg commented Oct 30, 2022

ping @speters

@speters speters merged commit 18216df into openv:master Dec 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants