Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixes for release v5.3.0 #218

Merged
merged 8 commits into from
Jul 31, 2024

Conversation

ACascarino
Copy link
Contributor

@ACascarino ACascarino commented Jul 30, 2024

Part of VFH-149
Merge before #217

@ACascarino ACascarino requested a review from xhuw July 30, 2024 16:17
@ACascarino ACascarino added size:S Small issue or pull request status:ready for review Please review labels Jul 30, 2024
@mbanth mbanth assigned ACascarino and unassigned mbanth Jul 31, 2024
@ACascarino ACascarino merged commit d36db2d into xmos:develop Jul 31, 2024
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
size:S Small issue or pull request status:ready for review Please review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants