Skip to content

Conversation

@mgax
Copy link
Contributor

@mgax mgax commented Apr 4, 2024

Fix #379

This PR should be rebased after the other large in-flight PRs get merged.

@mgax mgax marked this pull request as ready for review June 19, 2024 08:02
@mgax
Copy link
Contributor Author

mgax commented Jun 19, 2024

@kesara I've rebased this PR and it's ready for review. Thanks!

@kesara
Copy link
Member

kesara commented Aug 1, 2024

@mgax Thanks for the PR and sorry about leaving this PR without a review.

@kesara kesara mentioned this pull request Mar 10, 2025
@kesara
Copy link
Member

kesara commented Mar 10, 2025

Changes in this PR has been moved to #544

@kesara kesara closed this Mar 10, 2025
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.

Setup linting

2 participants