Skip to content

Conversation

Janpot
Copy link
Member

@Janpot Janpot commented Jul 18, 2024

Implements part of #3311

@Janpot Janpot added the type: new feature Expand the scope of the product to solve a new problem. label Jul 18, 2024
@github-actions github-actions bot added the PR: out-of-date The pull request has merge conflicts and can't be merged. label Jul 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PR: out-of-date The pull request has merge conflicts and can't be merged. type: new feature Expand the scope of the product to solve a new problem.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant