Skip to content

Conversation

schmengler
Copy link

@schmengler schmengler commented Jan 10, 2024

let's merge this in our fork, I don't expect it to be merged anytime soon in upstream and we need more changes

Original PR: EnzoMC#4

Copy link

@DomBra27 DomBra27 left a comment

Choose a reason for hiding this comment

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

Looks fine

@schmengler schmengler merged commit 4027837 into master Jan 15, 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.

2 participants