Skip to content

Conversation

hiddeco
Copy link
Member

@hiddeco hiddeco commented Mar 30, 2022

Follow up on #647

Signed-off-by: Hidde Beydals <[email protected]>
@hiddeco hiddeco merged commit 393ecc2 into main Mar 30, 2022
@hiddeco hiddeco deleted the release-v0.22.5-meta branch March 30, 2022 16:30
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