Skip to content

Conversation

@tdltdc
Copy link

@tdltdc tdltdc commented Apr 25, 2023

This is a copy of #335 rebased against the current main branch so that it passes the CI checks.

See #335 for description and details.

@tdltdc
Copy link
Author

tdltdc commented Apr 25, 2023

Never mind, let's first work with the original pull request (#335).

@tdltdc tdltdc closed this Apr 25, 2023
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