Skip to content

Enabled syn feature#2375

Merged
jneem merged 2 commits intolinebender:masterfrom
matveitolochko:master
Apr 28, 2023
Merged

Enabled syn feature#2375
jneem merged 2 commits intolinebender:masterfrom
matveitolochko:master

Conversation

@matveitolochko
Copy link
Contributor

Enabled a useful syn feature extra-traits

@matveitolochko
Copy link
Contributor Author

fixes #2374

Copy link
Member

@jneem jneem left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@jneem jneem merged commit 72a4b59 into linebender:master Apr 28, 2023
xStrom added a commit to xStrom/druid that referenced this pull request Apr 28, 2023
@xStrom xStrom mentioned this pull request Apr 28, 2023
xStrom added a commit that referenced this pull request Apr 28, 2023
@xStrom xStrom added this to the Release 0.9 milestone Oct 25, 2024
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.

3 participants