Skip to content

Treeppl library changes#19

Merged
elegios merged 1 commit intotreeppl:mainfrom
elegios:treeppl-library-changes
Apr 27, 2026
Merged

Treeppl library changes#19
elegios merged 1 commit intotreeppl:mainfrom
elegios:treeppl-library-changes

Conversation

@elegios
Copy link
Copy Markdown
Member

@elegios elegios commented Apr 23, 2026

Includes #18 until it is merged. This PR fixes an import change that is required after treeppl/treeppl#138.

@elegios elegios force-pushed the treeppl-library-changes branch from 4637259 to f3dc57c Compare April 24, 2026 14:09
@elegios elegios force-pushed the treeppl-library-changes branch from f3dc57c to e14f47b Compare April 24, 2026 14:53
@elegios elegios merged commit 76b9820 into treeppl:main Apr 27, 2026
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.

1 participant